NNats

nat0 : Nat (ValueN Nat0 more (Is a To a) (Is b To b))

The exact Nat 0.

nat1 :

Nat

(ValueN

Nat1

(Nat1Plus more)

(Is a To (Nat1Plus a))

(Is b To (Nat1Plus b))

)

The exact Nat 1.

nat10 :

Nat

(ValueN

Nat10

(Nat10Plus more)

(Is a To (Nat10Plus a))

(Is b To (Nat10Plus b))

)

The exact Nat 10.

nat100 :

Nat

(ValueN

Nat100

(Nat100Plus more)

(Is a To (Nat100Plus a))

(Is b To (Nat100Plus b))

)

The exact Nat 100.

nat101 :

Nat

(ValueN

Nat101

(Nat101Plus more)

(Is a To (Nat101Plus a))

(Is b To (Nat101Plus b))

)

The exact Nat 101.

nat102 :

Nat

(ValueN

Nat102

(Nat102Plus more)

(Is a To (Nat102Plus a))

(Is b To (Nat102Plus b))

)

The exact Nat 102.

nat103 :

Nat

(ValueN

Nat103

(Nat103Plus more)

(Is a To (Nat103Plus a))

(Is b To (Nat103Plus b))

)

The exact Nat 103.

nat104 :

Nat

(ValueN

Nat104

(Nat104Plus more)

(Is a To (Nat104Plus a))

(Is b To (Nat104Plus b))

)

The exact Nat 104.

nat105 :

Nat

(ValueN

Nat105

(Nat105Plus more)

(Is a To (Nat105Plus a))

(Is b To (Nat105Plus b))

)

The exact Nat 105.

nat106 :

Nat

(ValueN

Nat106

(Nat106Plus more)

(Is a To (Nat106Plus a))

(Is b To (Nat106Plus b))

)

The exact Nat 106.

nat107 :

Nat

(ValueN

Nat107

(Nat107Plus more)

(Is a To (Nat107Plus a))

(Is b To (Nat107Plus b))

)

The exact Nat 107.

nat108 :

Nat

(ValueN

Nat108

(Nat108Plus more)

(Is a To (Nat108Plus a))

(Is b To (Nat108Plus b))

)

The exact Nat 108.

nat109 :

Nat

(ValueN

Nat109

(Nat109Plus more)

(Is a To (Nat109Plus a))

(Is b To (Nat109Plus b))

)

The exact Nat 109.

nat11 :

Nat

(ValueN

Nat11

(Nat11Plus more)

(Is a To (Nat11Plus a))

(Is b To (Nat11Plus b))

)

The exact Nat 11.

nat110 :

Nat

(ValueN

Nat110

(Nat110Plus more)

(Is a To (Nat110Plus a))

(Is b To (Nat110Plus b))

)

The exact Nat 110.

nat111 :

Nat

(ValueN

Nat111

(Nat111Plus more)

(Is a To (Nat111Plus a))

(Is b To (Nat111Plus b))

)

The exact Nat 111.

nat112 :

Nat

(ValueN

Nat112

(Nat112Plus more)

(Is a To (Nat112Plus a))

(Is b To (Nat112Plus b))

)

The exact Nat 112.

nat113 :

Nat

(ValueN

Nat113

(Nat113Plus more)

(Is a To (Nat113Plus a))

(Is b To (Nat113Plus b))

)

The exact Nat 113.

nat114 :

Nat

(ValueN

Nat114

(Nat114Plus more)

(Is a To (Nat114Plus a))

(Is b To (Nat114Plus b))

)

The exact Nat 114.

nat115 :

Nat

(ValueN

Nat115

(Nat115Plus more)

(Is a To (Nat115Plus a))

(Is b To (Nat115Plus b))

)

The exact Nat 115.

nat116 :

Nat

(ValueN

Nat116

(Nat116Plus more)

(Is a To (Nat116Plus a))

(Is b To (Nat116Plus b))

)

The exact Nat 116.

nat117 :

Nat

(ValueN

Nat117

(Nat117Plus more)

(Is a To (Nat117Plus a))

(Is b To (Nat117Plus b))

)

The exact Nat 117.

nat118 :

Nat

(ValueN

Nat118

(Nat118Plus more)

(Is a To (Nat118Plus a))

(Is b To (Nat118Plus b))

)

The exact Nat 118.

nat119 :

Nat

(ValueN

Nat119

(Nat119Plus more)

(Is a To (Nat119Plus a))

(Is b To (Nat119Plus b))

)

The exact Nat 119.

nat12 :

Nat

(ValueN

Nat12

(Nat12Plus more)

(Is a To (Nat12Plus a))

(Is b To (Nat12Plus b))

)

The exact Nat 12.

nat120 :

Nat

(ValueN

Nat120

(Nat120Plus more)

(Is a To (Nat120Plus a))

(Is b To (Nat120Plus b))

)

The exact Nat 120.

nat121 :

Nat

(ValueN

Nat121

(Nat121Plus more)

(Is a To (Nat121Plus a))

(Is b To (Nat121Plus b))

)

The exact Nat 121.

nat122 :

Nat

(ValueN

Nat122

(Nat122Plus more)

(Is a To (Nat122Plus a))

(Is b To (Nat122Plus b))

)

The exact Nat 122.

nat123 :

Nat

(ValueN

Nat123

(Nat123Plus more)

(Is a To (Nat123Plus a))

(Is b To (Nat123Plus b))

)

The exact Nat 123.

nat124 :

Nat

(ValueN

Nat124

(Nat124Plus more)

(Is a To (Nat124Plus a))

(Is b To (Nat124Plus b))

)

The exact Nat 124.

nat125 :

Nat

(ValueN

Nat125

(Nat125Plus more)

(Is a To (Nat125Plus a))

(Is b To (Nat125Plus b))

)

The exact Nat 125.

nat126 :

Nat

(ValueN

Nat126

(Nat126Plus more)

(Is a To (Nat126Plus a))

(Is b To (Nat126Plus b))

)

The exact Nat 126.

nat127 :

Nat

(ValueN

Nat127

(Nat127Plus more)

(Is a To (Nat127Plus a))

(Is b To (Nat127Plus b))

)

The exact Nat 127.

nat128 :

Nat

(ValueN

Nat128

(Nat128Plus more)

(Is a To (Nat128Plus a))

(Is b To (Nat128Plus b))

)

The exact Nat 128.

nat129 :

Nat

(ValueN

Nat129

(Nat129Plus more)

(Is a To (Nat129Plus a))

(Is b To (Nat129Plus b))

)

The exact Nat 129.

nat13 :

Nat

(ValueN

Nat13

(Nat13Plus more)

(Is a To (Nat13Plus a))

(Is b To (Nat13Plus b))

)

The exact Nat 13.

nat130 :

Nat

(ValueN

Nat130

(Nat130Plus more)

(Is a To (Nat130Plus a))

(Is b To (Nat130Plus b))

)

The exact Nat 130.

nat131 :

Nat

(ValueN

Nat131

(Nat131Plus more)

(Is a To (Nat131Plus a))

(Is b To (Nat131Plus b))

)

The exact Nat 131.

nat132 :

Nat

(ValueN

Nat132

(Nat132Plus more)

(Is a To (Nat132Plus a))

(Is b To (Nat132Plus b))

)

The exact Nat 132.

nat133 :

Nat

(ValueN

Nat133

(Nat133Plus more)

(Is a To (Nat133Plus a))

(Is b To (Nat133Plus b))

)

The exact Nat 133.

nat134 :

Nat

(ValueN

Nat134

(Nat134Plus more)

(Is a To (Nat134Plus a))

(Is b To (Nat134Plus b))

)

The exact Nat 134.

nat135 :

Nat

(ValueN

Nat135

(Nat135Plus more)

(Is a To (Nat135Plus a))

(Is b To (Nat135Plus b))

)

The exact Nat 135.

nat136 :

Nat

(ValueN

Nat136

(Nat136Plus more)

(Is a To (Nat136Plus a))

(Is b To (Nat136Plus b))

)

The exact Nat 136.

nat137 :

Nat

(ValueN

Nat137

(Nat137Plus more)

(Is a To (Nat137Plus a))

(Is b To (Nat137Plus b))

)

The exact Nat 137.

nat138 :

Nat

(ValueN

Nat138

(Nat138Plus more)

(Is a To (Nat138Plus a))

(Is b To (Nat138Plus b))

)

The exact Nat 138.

nat139 :

Nat

(ValueN

Nat139

(Nat139Plus more)

(Is a To (Nat139Plus a))

(Is b To (Nat139Plus b))

)

The exact Nat 139.

nat14 :

Nat

(ValueN

Nat14

(Nat14Plus more)

(Is a To (Nat14Plus a))

(Is b To (Nat14Plus b))

)

The exact Nat 14.

nat140 :

Nat

(ValueN

Nat140

(Nat140Plus more)

(Is a To (Nat140Plus a))

(Is b To (Nat140Plus b))

)

The exact Nat 140.

nat141 :

Nat

(ValueN

Nat141

(Nat141Plus more)

(Is a To (Nat141Plus a))

(Is b To (Nat141Plus b))

)

The exact Nat 141.

nat142 :

Nat

(ValueN

Nat142

(Nat142Plus more)

(Is a To (Nat142Plus a))

(Is b To (Nat142Plus b))

)

The exact Nat 142.

nat143 :

Nat

(ValueN

Nat143

(Nat143Plus more)

(Is a To (Nat143Plus a))

(Is b To (Nat143Plus b))

)

The exact Nat 143.

nat144 :

Nat

(ValueN

Nat144

(Nat144Plus more)

(Is a To (Nat144Plus a))

(Is b To (Nat144Plus b))

)

The exact Nat 144.

nat145 :

Nat

(ValueN

Nat145

(Nat145Plus more)

(Is a To (Nat145Plus a))

(Is b To (Nat145Plus b))

)

The exact Nat 145.

nat146 :

Nat

(ValueN

Nat146

(Nat146Plus more)

(Is a To (Nat146Plus a))

(Is b To (Nat146Plus b))

)

The exact Nat 146.

nat147 :

Nat

(ValueN

Nat147

(Nat147Plus more)

(Is a To (Nat147Plus a))

(Is b To (Nat147Plus b))

)

The exact Nat 147.

nat148 :

Nat

(ValueN

Nat148

(Nat148Plus more)

(Is a To (Nat148Plus a))

(Is b To (Nat148Plus b))

)

The exact Nat 148.

nat149 :

Nat

(ValueN

Nat149

(Nat149Plus more)

(Is a To (Nat149Plus a))

(Is b To (Nat149Plus b))

)

The exact Nat 149.

nat15 :

Nat

(ValueN

Nat15

(Nat15Plus more)

(Is a To (Nat15Plus a))

(Is b To (Nat15Plus b))

)

The exact Nat 15.

nat150 :

Nat

(ValueN

Nat150

(Nat150Plus more)

(Is a To (Nat150Plus a))

(Is b To (Nat150Plus b))

)

The exact Nat 150.

nat151 :

Nat

(ValueN

Nat151

(Nat151Plus more)

(Is a To (Nat151Plus a))

(Is b To (Nat151Plus b))

)

The exact Nat 151.

nat152 :

Nat

(ValueN

Nat152

(Nat152Plus more)

(Is a To (Nat152Plus a))

(Is b To (Nat152Plus b))

)

The exact Nat 152.

nat153 :

Nat

(ValueN

Nat153

(Nat153Plus more)

(Is a To (Nat153Plus a))

(Is b To (Nat153Plus b))

)

The exact Nat 153.

nat154 :

Nat

(ValueN

Nat154

(Nat154Plus more)

(Is a To (Nat154Plus a))

(Is b To (Nat154Plus b))

)

The exact Nat 154.

nat155 :

Nat

(ValueN

Nat155

(Nat155Plus more)

(Is a To (Nat155Plus a))

(Is b To (Nat155Plus b))

)

The exact Nat 155.

nat156 :

Nat

(ValueN

Nat156

(Nat156Plus more)

(Is a To (Nat156Plus a))

(Is b To (Nat156Plus b))

)

The exact Nat 156.

nat157 :

Nat

(ValueN

Nat157

(Nat157Plus more)

(Is a To (Nat157Plus a))

(Is b To (Nat157Plus b))

)

The exact Nat 157.

nat158 :

Nat

(ValueN

Nat158

(Nat158Plus more)

(Is a To (Nat158Plus a))

(Is b To (Nat158Plus b))

)

The exact Nat 158.

nat159 :

Nat

(ValueN

Nat159

(Nat159Plus more)

(Is a To (Nat159Plus a))

(Is b To (Nat159Plus b))

)

The exact Nat 159.

nat16 :

Nat

(ValueN

Nat16

(Nat16Plus more)

(Is a To (Nat16Plus a))

(Is b To (Nat16Plus b))

)

The exact Nat 16.

nat160 :

Nat

(ValueN

Nat160

(Nat160Plus more)

(Is a To (Nat160Plus a))

(Is b To (Nat160Plus b))

)

The exact Nat 160.

nat17 :

Nat

(ValueN

Nat17

(Nat17Plus more)

(Is a To (Nat17Plus a))

(Is b To (Nat17Plus b))

)

The exact Nat 17.

nat18 :

Nat

(ValueN

Nat18

(Nat18Plus more)

(Is a To (Nat18Plus a))

(Is b To (Nat18Plus b))

)

The exact Nat 18.

nat19 :

Nat

(ValueN

Nat19

(Nat19Plus more)

(Is a To (Nat19Plus a))

(Is b To (Nat19Plus b))

)

The exact Nat 19.

nat2 :

Nat

(ValueN

Nat2

(Nat2Plus more)

(Is a To (Nat2Plus a))

(Is b To (Nat2Plus b))

)

The exact Nat 2.

nat20 :

Nat

(ValueN

Nat20

(Nat20Plus more)

(Is a To (Nat20Plus a))

(Is b To (Nat20Plus b))

)

The exact Nat 20.

nat21 :

Nat

(ValueN

Nat21

(Nat21Plus more)

(Is a To (Nat21Plus a))

(Is b To (Nat21Plus b))

)

The exact Nat 21.

nat22 :

Nat

(ValueN

Nat22

(Nat22Plus more)

(Is a To (Nat22Plus a))

(Is b To (Nat22Plus b))

)

The exact Nat 22.

nat23 :

Nat

(ValueN

Nat23

(Nat23Plus more)

(Is a To (Nat23Plus a))

(Is b To (Nat23Plus b))

)

The exact Nat 23.

nat24 :

Nat

(ValueN

Nat24

(Nat24Plus more)

(Is a To (Nat24Plus a))

(Is b To (Nat24Plus b))

)

The exact Nat 24.

nat25 :

Nat

(ValueN

Nat25

(Nat25Plus more)

(Is a To (Nat25Plus a))

(Is b To (Nat25Plus b))

)

The exact Nat 25.

nat26 :

Nat

(ValueN

Nat26

(Nat26Plus more)

(Is a To (Nat26Plus a))

(Is b To (Nat26Plus b))

)

The exact Nat 26.

nat27 :

Nat

(ValueN

Nat27

(Nat27Plus more)

(Is a To (Nat27Plus a))

(Is b To (Nat27Plus b))

)

The exact Nat 27.

nat28 :

Nat

(ValueN

Nat28

(Nat28Plus more)

(Is a To (Nat28Plus a))

(Is b To (Nat28Plus b))

)

The exact Nat 28.

nat29 :

Nat

(ValueN

Nat29

(Nat29Plus more)

(Is a To (Nat29Plus a))

(Is b To (Nat29Plus b))

)

The exact Nat 29.

nat3 :

Nat

(ValueN

Nat3

(Nat3Plus more)

(Is a To (Nat3Plus a))

(Is b To (Nat3Plus b))

)

The exact Nat 3.

nat30 :

Nat

(ValueN

Nat30

(Nat30Plus more)

(Is a To (Nat30Plus a))

(Is b To (Nat30Plus b))

)

The exact Nat 30.

nat31 :

Nat

(ValueN

Nat31

(Nat31Plus more)

(Is a To (Nat31Plus a))

(Is b To (Nat31Plus b))

)

The exact Nat 31.

nat32 :

Nat

(ValueN

Nat32

(Nat32Plus more)

(Is a To (Nat32Plus a))

(Is b To (Nat32Plus b))

)

The exact Nat 32.

nat33 :

Nat

(ValueN

Nat33

(Nat33Plus more)

(Is a To (Nat33Plus a))

(Is b To (Nat33Plus b))

)

The exact Nat 33.

nat34 :

Nat

(ValueN

Nat34

(Nat34Plus more)

(Is a To (Nat34Plus a))

(Is b To (Nat34Plus b))

)

The exact Nat 34.

nat35 :

Nat

(ValueN

Nat35

(Nat35Plus more)

(Is a To (Nat35Plus a))

(Is b To (Nat35Plus b))

)

The exact Nat 35.

nat36 :

Nat

(ValueN

Nat36

(Nat36Plus more)

(Is a To (Nat36Plus a))

(Is b To (Nat36Plus b))

)

The exact Nat 36.

nat37 :

Nat

(ValueN

Nat37

(Nat37Plus more)

(Is a To (Nat37Plus a))

(Is b To (Nat37Plus b))

)

The exact Nat 37.

nat38 :

Nat

(ValueN

Nat38

(Nat38Plus more)

(Is a To (Nat38Plus a))

(Is b To (Nat38Plus b))

)

The exact Nat 38.

nat39 :

Nat

(ValueN

Nat39

(Nat39Plus more)

(Is a To (Nat39Plus a))

(Is b To (Nat39Plus b))

)

The exact Nat 39.

nat4 :

Nat

(ValueN

Nat4

(Nat4Plus more)

(Is a To (Nat4Plus a))

(Is b To (Nat4Plus b))

)

The exact Nat 4.

nat40 :

Nat

(ValueN

Nat40

(Nat40Plus more)

(Is a To (Nat40Plus a))

(Is b To (Nat40Plus b))

)

The exact Nat 40.

nat41 :

Nat

(ValueN

Nat41

(Nat41Plus more)

(Is a To (Nat41Plus a))

(Is b To (Nat41Plus b))

)

The exact Nat 41.

nat42 :

Nat

(ValueN

Nat42

(Nat42Plus more)

(Is a To (Nat42Plus a))

(Is b To (Nat42Plus b))

)

The exact Nat 42.

nat43 :

Nat

(ValueN

Nat43

(Nat43Plus more)

(Is a To (Nat43Plus a))

(Is b To (Nat43Plus b))

)

The exact Nat 43.

nat44 :

Nat

(ValueN

Nat44

(Nat44Plus more)

(Is a To (Nat44Plus a))

(Is b To (Nat44Plus b))

)

The exact Nat 44.

nat45 :

Nat

(ValueN

Nat45

(Nat45Plus more)

(Is a To (Nat45Plus a))

(Is b To (Nat45Plus b))

)

The exact Nat 45.

nat46 :

Nat

(ValueN

Nat46

(Nat46Plus more)

(Is a To (Nat46Plus a))

(Is b To (Nat46Plus b))

)

The exact Nat 46.

nat47 :

Nat

(ValueN

Nat47

(Nat47Plus more)

(Is a To (Nat47Plus a))

(Is b To (Nat47Plus b))

)

The exact Nat 47.

nat48 :

Nat

(ValueN

Nat48

(Nat48Plus more)

(Is a To (Nat48Plus a))

(Is b To (Nat48Plus b))

)

The exact Nat 48.

nat49 :

Nat

(ValueN

Nat49

(Nat49Plus more)

(Is a To (Nat49Plus a))

(Is b To (Nat49Plus b))

)

The exact Nat 49.

nat5 :

Nat

(ValueN

Nat5

(Nat5Plus more)

(Is a To (Nat5Plus a))

(Is b To (Nat5Plus b))

)

The exact Nat 5.

nat50 :

Nat

(ValueN

Nat50

(Nat50Plus more)

(Is a To (Nat50Plus a))

(Is b To (Nat50Plus b))

)

The exact Nat 50.

nat51 :

Nat

(ValueN

Nat51

(Nat51Plus more)

(Is a To (Nat51Plus a))

(Is b To (Nat51Plus b))

)

The exact Nat 51.

nat52 :

Nat

(ValueN

Nat52

(Nat52Plus more)

(Is a To (Nat52Plus a))

(Is b To (Nat52Plus b))

)

The exact Nat 52.

nat53 :

Nat

(ValueN

Nat53

(Nat53Plus more)

(Is a To (Nat53Plus a))

(Is b To (Nat53Plus b))

)

The exact Nat 53.

nat54 :

Nat

(ValueN

Nat54

(Nat54Plus more)

(Is a To (Nat54Plus a))

(Is b To (Nat54Plus b))

)

The exact Nat 54.

nat55 :

Nat

(ValueN

Nat55

(Nat55Plus more)

(Is a To (Nat55Plus a))

(Is b To (Nat55Plus b))

)

The exact Nat 55.

nat56 :

Nat

(ValueN

Nat56

(Nat56Plus more)

(Is a To (Nat56Plus a))

(Is b To (Nat56Plus b))

)

The exact Nat 56.

nat57 :

Nat

(ValueN

Nat57

(Nat57Plus more)

(Is a To (Nat57Plus a))

(Is b To (Nat57Plus b))

)

The exact Nat 57.

nat58 :

Nat

(ValueN

Nat58

(Nat58Plus more)

(Is a To (Nat58Plus a))

(Is b To (Nat58Plus b))

)

The exact Nat 58.

nat59 :

Nat

(ValueN

Nat59

(Nat59Plus more)

(Is a To (Nat59Plus a))

(Is b To (Nat59Plus b))

)

The exact Nat 59.

nat6 :

Nat

(ValueN

Nat6

(Nat6Plus more)

(Is a To (Nat6Plus a))

(Is b To (Nat6Plus b))

)

The exact Nat 6.

nat60 :

Nat

(ValueN

Nat60

(Nat60Plus more)

(Is a To (Nat60Plus a))

(Is b To (Nat60Plus b))

)

The exact Nat 60.

nat61 :

Nat

(ValueN

Nat61

(Nat61Plus more)

(Is a To (Nat61Plus a))

(Is b To (Nat61Plus b))

)

The exact Nat 61.

nat62 :

Nat

(ValueN

Nat62

(Nat62Plus more)

(Is a To (Nat62Plus a))

(Is b To (Nat62Plus b))

)

The exact Nat 62.

nat63 :

Nat

(ValueN

Nat63

(Nat63Plus more)

(Is a To (Nat63Plus a))

(Is b To (Nat63Plus b))

)

The exact Nat 63.

nat64 :

Nat

(ValueN

Nat64

(Nat64Plus more)

(Is a To (Nat64Plus a))

(Is b To (Nat64Plus b))

)

The exact Nat 64.

nat65 :

Nat

(ValueN

Nat65

(Nat65Plus more)

(Is a To (Nat65Plus a))

(Is b To (Nat65Plus b))

)

The exact Nat 65.

nat66 :

Nat

(ValueN

Nat66

(Nat66Plus more)

(Is a To (Nat66Plus a))

(Is b To (Nat66Plus b))

)

The exact Nat 66.

nat67 :

Nat

(ValueN

Nat67

(Nat67Plus more)

(Is a To (Nat67Plus a))

(Is b To (Nat67Plus b))

)

The exact Nat 67.

nat68 :

Nat

(ValueN

Nat68

(Nat68Plus more)

(Is a To (Nat68Plus a))

(Is b To (Nat68Plus b))

)

The exact Nat 68.

nat69 :

Nat

(ValueN

Nat69

(Nat69Plus more)

(Is a To (Nat69Plus a))

(Is b To (Nat69Plus b))

)

The exact Nat 69.

nat7 :

Nat

(ValueN

Nat7

(Nat7Plus more)

(Is a To (Nat7Plus a))

(Is b To (Nat7Plus b))

)

The exact Nat 7.

nat70 :

Nat

(ValueN

Nat70

(Nat70Plus more)

(Is a To (Nat70Plus a))

(Is b To (Nat70Plus b))

)

The exact Nat 70.

nat71 :

Nat

(ValueN

Nat71

(Nat71Plus more)

(Is a To (Nat71Plus a))

(Is b To (Nat71Plus b))

)

The exact Nat 71.

nat72 :

Nat

(ValueN

Nat72

(Nat72Plus more)

(Is a To (Nat72Plus a))

(Is b To (Nat72Plus b))

)

The exact Nat 72.

nat73 :

Nat

(ValueN

Nat73

(Nat73Plus more)

(Is a To (Nat73Plus a))

(Is b To (Nat73Plus b))

)

The exact Nat 73.

nat74 :

Nat

(ValueN

Nat74

(Nat74Plus more)

(Is a To (Nat74Plus a))

(Is b To (Nat74Plus b))

)

The exact Nat 74.

nat75 :

Nat

(ValueN

Nat75

(Nat75Plus more)

(Is a To (Nat75Plus a))

(Is b To (Nat75Plus b))

)

The exact Nat 75.

nat76 :

Nat

(ValueN

Nat76

(Nat76Plus more)

(Is a To (Nat76Plus a))

(Is b To (Nat76Plus b))

)

The exact Nat 76.

nat77 :

Nat

(ValueN

Nat77

(Nat77Plus more)

(Is a To (Nat77Plus a))

(Is b To (Nat77Plus b))

)

The exact Nat 77.

nat78 :

Nat

(ValueN

Nat78

(Nat78Plus more)

(Is a To (Nat78Plus a))

(Is b To (Nat78Plus b))

)

The exact Nat 78.

nat79 :

Nat

(ValueN

Nat79

(Nat79Plus more)

(Is a To (Nat79Plus a))

(Is b To (Nat79Plus b))

)

The exact Nat 79.

nat8 :

Nat

(ValueN

Nat8

(Nat8Plus more)

(Is a To (Nat8Plus a))

(Is b To (Nat8Plus b))

)

The exact Nat 8.

nat80 :

Nat

(ValueN

Nat80

(Nat80Plus more)

(Is a To (Nat80Plus a))

(Is b To (Nat80Plus b))

)

The exact Nat 80.

nat81 :

Nat

(ValueN

Nat81

(Nat81Plus more)

(Is a To (Nat81Plus a))

(Is b To (Nat81Plus b))

)

The exact Nat 81.

nat82 :

Nat

(ValueN

Nat82

(Nat82Plus more)

(Is a To (Nat82Plus a))

(Is b To (Nat82Plus b))

)

The exact Nat 82.

nat83 :

Nat

(ValueN

Nat83

(Nat83Plus more)

(Is a To (Nat83Plus a))

(Is b To (Nat83Plus b))

)

The exact Nat 83.

nat84 :

Nat

(ValueN

Nat84

(Nat84Plus more)

(Is a To (Nat84Plus a))

(Is b To (Nat84Plus b))

)

The exact Nat 84.

nat85 :

Nat

(ValueN

Nat85

(Nat85Plus more)

(Is a To (Nat85Plus a))

(Is b To (Nat85Plus b))

)

The exact Nat 85.

nat86 :

Nat

(ValueN

Nat86

(Nat86Plus more)

(Is a To (Nat86Plus a))

(Is b To (Nat86Plus b))

)

The exact Nat 86.

nat87 :

Nat

(ValueN

Nat87

(Nat87Plus more)

(Is a To (Nat87Plus a))

(Is b To (Nat87Plus b))

)

The exact Nat 87.

nat88 :

Nat

(ValueN

Nat88

(Nat88Plus more)

(Is a To (Nat88Plus a))

(Is b To (Nat88Plus b))

)

The exact Nat 88.

nat89 :

Nat

(ValueN

Nat89

(Nat89Plus more)

(Is a To (Nat89Plus a))

(Is b To (Nat89Plus b))

)

The exact Nat 89.

nat9 :

Nat

(ValueN

Nat9

(Nat9Plus more)

(Is a To (Nat9Plus a))

(Is b To (Nat9Plus b))

)

The exact Nat 9.

nat90 :

Nat

(ValueN

Nat90

(Nat90Plus more)

(Is a To (Nat90Plus a))

(Is b To (Nat90Plus b))

)

The exact Nat 90.

nat91 :

Nat

(ValueN

Nat91

(Nat91Plus more)

(Is a To (Nat91Plus a))

(Is b To (Nat91Plus b))

)

The exact Nat 91.

nat92 :

Nat

(ValueN

Nat92

(Nat92Plus more)

(Is a To (Nat92Plus a))

(Is b To (Nat92Plus b))

)

The exact Nat 92.

nat93 :

Nat

(ValueN

Nat93

(Nat93Plus more)

(Is a To (Nat93Plus a))

(Is b To (Nat93Plus b))

)

The exact Nat 93.

nat94 :

Nat

(ValueN

Nat94

(Nat94Plus more)

(Is a To (Nat94Plus a))

(Is b To (Nat94Plus b))

)

The exact Nat 94.

nat95 :

Nat

(ValueN

Nat95

(Nat95Plus more)

(Is a To (Nat95Plus a))

(Is b To (Nat95Plus b))

)

The exact Nat 95.

nat96 :

Nat

(ValueN

Nat96

(Nat96Plus more)

(Is a To (Nat96Plus a))

(Is b To (Nat96Plus b))

)

The exact Nat 96.

nat97 :

Nat

(ValueN

Nat97

(Nat97Plus more)

(Is a To (Nat97Plus a))

(Is b To (Nat97Plus b))

)

The exact Nat 97.

nat98 :

Nat

(ValueN

Nat98

(Nat98Plus more)

(Is a To (Nat98Plus a))

(Is b To (Nat98Plus b))

)

The exact Nat 98.

nat99 :

Nat

(ValueN

Nat99

(Nat99Plus more)

(Is a To (Nat99Plus a))

(Is b To (Nat99Plus b))

)

The exact Nat 99.

lue-bird/elm-bounded-nat/5.0.2

Modules