NOTE: the latest version is 13.0.0

README About Versions Source Modules

Nat.Ns

Nat (N Nat0 ...) to Nat (N Nat192 ...).

See Nat.Bound.N for a detailed explanation.

nat0 : Nat (N Nat0 Is (Difference a To a))

The Nat 0.

nat1 : Nat (N Nat1 Is (Difference a To (Nat1Plus a)))

The Nat 1.

nat10 : Nat (N Nat10 Is (Difference a To (Nat10Plus a)))

The Nat 10.

nat100 : Nat (N Nat100 Is (Difference a To (Nat100Plus a)))

The Nat 100.

nat101 : Nat (N Nat101 Is (Difference a To (Nat101Plus a)))

The Nat 101.

nat102 : Nat (N Nat102 Is (Difference a To (Nat102Plus a)))

The Nat 102.

nat103 : Nat (N Nat103 Is (Difference a To (Nat103Plus a)))

The Nat 103.

nat104 : Nat (N Nat104 Is (Difference a To (Nat104Plus a)))

The Nat 104.

nat105 : Nat (N Nat105 Is (Difference a To (Nat105Plus a)))

The Nat 105.

nat106 : Nat (N Nat106 Is (Difference a To (Nat106Plus a)))

The Nat 106.

nat107 : Nat (N Nat107 Is (Difference a To (Nat107Plus a)))

The Nat 107.

nat108 : Nat (N Nat108 Is (Difference a To (Nat108Plus a)))

The Nat 108.

nat109 : Nat (N Nat109 Is (Difference a To (Nat109Plus a)))

The Nat 109.

nat11 : Nat (N Nat11 Is (Difference a To (Nat11Plus a)))

The Nat 11.

nat110 : Nat (N Nat110 Is (Difference a To (Nat110Plus a)))

The Nat 110.

nat111 : Nat (N Nat111 Is (Difference a To (Nat111Plus a)))

The Nat 111.

nat112 : Nat (N Nat112 Is (Difference a To (Nat112Plus a)))

The Nat 112.

nat113 : Nat (N Nat113 Is (Difference a To (Nat113Plus a)))

The Nat 113.

nat114 : Nat (N Nat114 Is (Difference a To (Nat114Plus a)))

The Nat 114.

nat115 : Nat (N Nat115 Is (Difference a To (Nat115Plus a)))

The Nat 115.

nat116 : Nat (N Nat116 Is (Difference a To (Nat116Plus a)))

The Nat 116.

nat117 : Nat (N Nat117 Is (Difference a To (Nat117Plus a)))

The Nat 117.

nat118 : Nat (N Nat118 Is (Difference a To (Nat118Plus a)))

The Nat 118.

nat119 : Nat (N Nat119 Is (Difference a To (Nat119Plus a)))

The Nat 119.

nat12 : Nat (N Nat12 Is (Difference a To (Nat12Plus a)))

The Nat 12.

nat120 : Nat (N Nat120 Is (Difference a To (Nat120Plus a)))

The Nat 120.

nat121 : Nat (N Nat121 Is (Difference a To (Nat121Plus a)))

The Nat 121.

nat122 : Nat (N Nat122 Is (Difference a To (Nat122Plus a)))

The Nat 122.

nat123 : Nat (N Nat123 Is (Difference a To (Nat123Plus a)))

The Nat 123.

nat124 : Nat (N Nat124 Is (Difference a To (Nat124Plus a)))

The Nat 124.

nat125 : Nat (N Nat125 Is (Difference a To (Nat125Plus a)))

The Nat 125.

nat126 : Nat (N Nat126 Is (Difference a To (Nat126Plus a)))

The Nat 126.

nat127 : Nat (N Nat127 Is (Difference a To (Nat127Plus a)))

The Nat 127.

nat128 : Nat (N Nat128 Is (Difference a To (Nat128Plus a)))

The Nat 128.

nat129 : Nat (N Nat129 Is (Difference a To (Nat129Plus a)))

The Nat 129.

nat13 : Nat (N Nat13 Is (Difference a To (Nat13Plus a)))

The Nat 13.

nat130 : Nat (N Nat130 Is (Difference a To (Nat130Plus a)))

The Nat 130.

nat131 : Nat (N Nat131 Is (Difference a To (Nat131Plus a)))

The Nat 131.

nat132 : Nat (N Nat132 Is (Difference a To (Nat132Plus a)))

The Nat 132.

nat133 : Nat (N Nat133 Is (Difference a To (Nat133Plus a)))

The Nat 133.

nat134 : Nat (N Nat134 Is (Difference a To (Nat134Plus a)))

The Nat 134.

nat135 : Nat (N Nat135 Is (Difference a To (Nat135Plus a)))

The Nat 135.

nat136 : Nat (N Nat136 Is (Difference a To (Nat136Plus a)))

The Nat 136.

nat137 : Nat (N Nat137 Is (Difference a To (Nat137Plus a)))

The Nat 137.

nat138 : Nat (N Nat138 Is (Difference a To (Nat138Plus a)))

The Nat 138.

nat139 : Nat (N Nat139 Is (Difference a To (Nat139Plus a)))

The Nat 139.

nat14 : Nat (N Nat14 Is (Difference a To (Nat14Plus a)))

The Nat 14.

nat140 : Nat (N Nat140 Is (Difference a To (Nat140Plus a)))

The Nat 140.

nat141 : Nat (N Nat141 Is (Difference a To (Nat141Plus a)))

The Nat 141.

nat142 : Nat (N Nat142 Is (Difference a To (Nat142Plus a)))

The Nat 142.

nat143 : Nat (N Nat143 Is (Difference a To (Nat143Plus a)))

The Nat 143.

nat144 : Nat (N Nat144 Is (Difference a To (Nat144Plus a)))

The Nat 144.

nat145 : Nat (N Nat145 Is (Difference a To (Nat145Plus a)))

The Nat 145.

nat146 : Nat (N Nat146 Is (Difference a To (Nat146Plus a)))

The Nat 146.

nat147 : Nat (N Nat147 Is (Difference a To (Nat147Plus a)))

The Nat 147.

nat148 : Nat (N Nat148 Is (Difference a To (Nat148Plus a)))

The Nat 148.

nat149 : Nat (N Nat149 Is (Difference a To (Nat149Plus a)))

The Nat 149.

nat15 : Nat (N Nat15 Is (Difference a To (Nat15Plus a)))

The Nat 15.

nat150 : Nat (N Nat150 Is (Difference a To (Nat150Plus a)))

The Nat 150.

nat151 : Nat (N Nat151 Is (Difference a To (Nat151Plus a)))

The Nat 151.

nat152 : Nat (N Nat152 Is (Difference a To (Nat152Plus a)))

The Nat 152.

nat153 : Nat (N Nat153 Is (Difference a To (Nat153Plus a)))

The Nat 153.

nat154 : Nat (N Nat154 Is (Difference a To (Nat154Plus a)))

The Nat 154.

nat155 : Nat (N Nat155 Is (Difference a To (Nat155Plus a)))

The Nat 155.

nat156 : Nat (N Nat156 Is (Difference a To (Nat156Plus a)))

The Nat 156.

nat157 : Nat (N Nat157 Is (Difference a To (Nat157Plus a)))

The Nat 157.

nat158 : Nat (N Nat158 Is (Difference a To (Nat158Plus a)))

The Nat 158.

nat159 : Nat (N Nat159 Is (Difference a To (Nat159Plus a)))

The Nat 159.

nat16 : Nat (N Nat16 Is (Difference a To (Nat16Plus a)))

The Nat 16.

nat160 : Nat (N Nat160 Is (Difference a To (Nat160Plus a)))

The Nat 160.

nat161 : Nat (N Nat161 Is (Difference a To (Nat161Plus a)))

The Nat 161.

nat162 : Nat (N Nat162 Is (Difference a To (Nat162Plus a)))

The Nat 162.

nat163 : Nat (N Nat163 Is (Difference a To (Nat163Plus a)))

The Nat 163.

nat164 : Nat (N Nat164 Is (Difference a To (Nat164Plus a)))

The Nat 164.

nat165 : Nat (N Nat165 Is (Difference a To (Nat165Plus a)))

The Nat 165.

nat166 : Nat (N Nat166 Is (Difference a To (Nat166Plus a)))

The Nat 166.

nat167 : Nat (N Nat167 Is (Difference a To (Nat167Plus a)))

The Nat 167.

nat168 : Nat (N Nat168 Is (Difference a To (Nat168Plus a)))

The Nat 168.

nat169 : Nat (N Nat169 Is (Difference a To (Nat169Plus a)))

The Nat 169.

nat17 : Nat (N Nat17 Is (Difference a To (Nat17Plus a)))

The Nat 17.

nat170 : Nat (N Nat170 Is (Difference a To (Nat170Plus a)))

The Nat 170.

nat171 : Nat (N Nat171 Is (Difference a To (Nat171Plus a)))

The Nat 171.

nat172 : Nat (N Nat172 Is (Difference a To (Nat172Plus a)))

The Nat 172.

nat173 : Nat (N Nat173 Is (Difference a To (Nat173Plus a)))

The Nat 173.

nat174 : Nat (N Nat174 Is (Difference a To (Nat174Plus a)))

The Nat 174.

nat175 : Nat (N Nat175 Is (Difference a To (Nat175Plus a)))

The Nat 175.

nat176 : Nat (N Nat176 Is (Difference a To (Nat176Plus a)))

The Nat 176.

nat177 : Nat (N Nat177 Is (Difference a To (Nat177Plus a)))

The Nat 177.

nat178 : Nat (N Nat178 Is (Difference a To (Nat178Plus a)))

The Nat 178.

nat179 : Nat (N Nat179 Is (Difference a To (Nat179Plus a)))

The Nat 179.

nat18 : Nat (N Nat18 Is (Difference a To (Nat18Plus a)))

The Nat 18.

nat180 : Nat (N Nat180 Is (Difference a To (Nat180Plus a)))

The Nat 180.

nat181 : Nat (N Nat181 Is (Difference a To (Nat181Plus a)))

The Nat 181.

nat182 : Nat (N Nat182 Is (Difference a To (Nat182Plus a)))

The Nat 182.

nat183 : Nat (N Nat183 Is (Difference a To (Nat183Plus a)))

The Nat 183.

nat184 : Nat (N Nat184 Is (Difference a To (Nat184Plus a)))

The Nat 184.

nat185 : Nat (N Nat185 Is (Difference a To (Nat185Plus a)))

The Nat 185.

nat186 : Nat (N Nat186 Is (Difference a To (Nat186Plus a)))

The Nat 186.

nat187 : Nat (N Nat187 Is (Difference a To (Nat187Plus a)))

The Nat 187.

nat188 : Nat (N Nat188 Is (Difference a To (Nat188Plus a)))

The Nat 188.

nat189 : Nat (N Nat189 Is (Difference a To (Nat189Plus a)))

The Nat 189.

nat19 : Nat (N Nat19 Is (Difference a To (Nat19Plus a)))

The Nat 19.

nat190 : Nat (N Nat190 Is (Difference a To (Nat190Plus a)))

The Nat 190.

nat191 : Nat (N Nat191 Is (Difference a To (Nat191Plus a)))

The Nat 191.

nat192 : Nat (N Nat192 Is (Difference a To (Nat192Plus a)))

The Nat 192.

nat2 : Nat (N Nat2 Is (Difference a To (Nat2Plus a)))

The Nat 2.

nat20 : Nat (N Nat20 Is (Difference a To (Nat20Plus a)))

The Nat 20.

nat21 : Nat (N Nat21 Is (Difference a To (Nat21Plus a)))

The Nat 21.

nat22 : Nat (N Nat22 Is (Difference a To (Nat22Plus a)))

The Nat 22.

nat23 : Nat (N Nat23 Is (Difference a To (Nat23Plus a)))

The Nat 23.

nat24 : Nat (N Nat24 Is (Difference a To (Nat24Plus a)))

The Nat 24.

nat25 : Nat (N Nat25 Is (Difference a To (Nat25Plus a)))

The Nat 25.

nat26 : Nat (N Nat26 Is (Difference a To (Nat26Plus a)))

The Nat 26.

nat27 : Nat (N Nat27 Is (Difference a To (Nat27Plus a)))

The Nat 27.

nat28 : Nat (N Nat28 Is (Difference a To (Nat28Plus a)))

The Nat 28.

nat29 : Nat (N Nat29 Is (Difference a To (Nat29Plus a)))

The Nat 29.

nat3 : Nat (N Nat3 Is (Difference a To (Nat3Plus a)))

The Nat 3.

nat30 : Nat (N Nat30 Is (Difference a To (Nat30Plus a)))

The Nat 30.

nat31 : Nat (N Nat31 Is (Difference a To (Nat31Plus a)))

The Nat 31.

nat32 : Nat (N Nat32 Is (Difference a To (Nat32Plus a)))

The Nat 32.

nat33 : Nat (N Nat33 Is (Difference a To (Nat33Plus a)))

The Nat 33.

nat34 : Nat (N Nat34 Is (Difference a To (Nat34Plus a)))

The Nat 34.

nat35 : Nat (N Nat35 Is (Difference a To (Nat35Plus a)))

The Nat 35.

nat36 : Nat (N Nat36 Is (Difference a To (Nat36Plus a)))

The Nat 36.

nat37 : Nat (N Nat37 Is (Difference a To (Nat37Plus a)))

The Nat 37.

nat38 : Nat (N Nat38 Is (Difference a To (Nat38Plus a)))

The Nat 38.

nat39 : Nat (N Nat39 Is (Difference a To (Nat39Plus a)))

The Nat 39.

nat4 : Nat (N Nat4 Is (Difference a To (Nat4Plus a)))

The Nat 4.

nat40 : Nat (N Nat40 Is (Difference a To (Nat40Plus a)))

The Nat 40.

nat41 : Nat (N Nat41 Is (Difference a To (Nat41Plus a)))

The Nat 41.

nat42 : Nat (N Nat42 Is (Difference a To (Nat42Plus a)))

The Nat 42.

nat43 : Nat (N Nat43 Is (Difference a To (Nat43Plus a)))

The Nat 43.

nat44 : Nat (N Nat44 Is (Difference a To (Nat44Plus a)))

The Nat 44.

nat45 : Nat (N Nat45 Is (Difference a To (Nat45Plus a)))

The Nat 45.

nat46 : Nat (N Nat46 Is (Difference a To (Nat46Plus a)))

The Nat 46.

nat47 : Nat (N Nat47 Is (Difference a To (Nat47Plus a)))

The Nat 47.

nat48 : Nat (N Nat48 Is (Difference a To (Nat48Plus a)))

The Nat 48.

nat49 : Nat (N Nat49 Is (Difference a To (Nat49Plus a)))

The Nat 49.

nat5 : Nat (N Nat5 Is (Difference a To (Nat5Plus a)))

The Nat 5.

nat50 : Nat (N Nat50 Is (Difference a To (Nat50Plus a)))

The Nat 50.

nat51 : Nat (N Nat51 Is (Difference a To (Nat51Plus a)))

The Nat 51.

nat52 : Nat (N Nat52 Is (Difference a To (Nat52Plus a)))

The Nat 52.

nat53 : Nat (N Nat53 Is (Difference a To (Nat53Plus a)))

The Nat 53.

nat54 : Nat (N Nat54 Is (Difference a To (Nat54Plus a)))

The Nat 54.

nat55 : Nat (N Nat55 Is (Difference a To (Nat55Plus a)))

The Nat 55.

nat56 : Nat (N Nat56 Is (Difference a To (Nat56Plus a)))

The Nat 56.

nat57 : Nat (N Nat57 Is (Difference a To (Nat57Plus a)))

The Nat 57.

nat58 : Nat (N Nat58 Is (Difference a To (Nat58Plus a)))

The Nat 58.

nat59 : Nat (N Nat59 Is (Difference a To (Nat59Plus a)))

The Nat 59.

nat6 : Nat (N Nat6 Is (Difference a To (Nat6Plus a)))

The Nat 6.

nat60 : Nat (N Nat60 Is (Difference a To (Nat60Plus a)))

The Nat 60.

nat61 : Nat (N Nat61 Is (Difference a To (Nat61Plus a)))

The Nat 61.

nat62 : Nat (N Nat62 Is (Difference a To (Nat62Plus a)))

The Nat 62.

nat63 : Nat (N Nat63 Is (Difference a To (Nat63Plus a)))

The Nat 63.

nat64 : Nat (N Nat64 Is (Difference a To (Nat64Plus a)))

The Nat 64.

nat65 : Nat (N Nat65 Is (Difference a To (Nat65Plus a)))

The Nat 65.

nat66 : Nat (N Nat66 Is (Difference a To (Nat66Plus a)))

The Nat 66.

nat67 : Nat (N Nat67 Is (Difference a To (Nat67Plus a)))

The Nat 67.

nat68 : Nat (N Nat68 Is (Difference a To (Nat68Plus a)))

The Nat 68.

nat69 : Nat (N Nat69 Is (Difference a To (Nat69Plus a)))

The Nat 69.

nat7 : Nat (N Nat7 Is (Difference a To (Nat7Plus a)))

The Nat 7.

nat70 : Nat (N Nat70 Is (Difference a To (Nat70Plus a)))

The Nat 70.

nat71 : Nat (N Nat71 Is (Difference a To (Nat71Plus a)))

The Nat 71.

nat72 : Nat (N Nat72 Is (Difference a To (Nat72Plus a)))

The Nat 72.

nat73 : Nat (N Nat73 Is (Difference a To (Nat73Plus a)))

The Nat 73.

nat74 : Nat (N Nat74 Is (Difference a To (Nat74Plus a)))

The Nat 74.

nat75 : Nat (N Nat75 Is (Difference a To (Nat75Plus a)))

The Nat 75.

nat76 : Nat (N Nat76 Is (Difference a To (Nat76Plus a)))

The Nat 76.

nat77 : Nat (N Nat77 Is (Difference a To (Nat77Plus a)))

The Nat 77.

nat78 : Nat (N Nat78 Is (Difference a To (Nat78Plus a)))

The Nat 78.

nat79 : Nat (N Nat79 Is (Difference a To (Nat79Plus a)))

The Nat 79.

nat8 : Nat (N Nat8 Is (Difference a To (Nat8Plus a)))

The Nat 8.

nat80 : Nat (N Nat80 Is (Difference a To (Nat80Plus a)))

The Nat 80.

nat81 : Nat (N Nat81 Is (Difference a To (Nat81Plus a)))

The Nat 81.

nat82 : Nat (N Nat82 Is (Difference a To (Nat82Plus a)))

The Nat 82.

nat83 : Nat (N Nat83 Is (Difference a To (Nat83Plus a)))

The Nat 83.

nat84 : Nat (N Nat84 Is (Difference a To (Nat84Plus a)))

The Nat 84.

nat85 : Nat (N Nat85 Is (Difference a To (Nat85Plus a)))

The Nat 85.

nat86 : Nat (N Nat86 Is (Difference a To (Nat86Plus a)))

The Nat 86.

nat87 : Nat (N Nat87 Is (Difference a To (Nat87Plus a)))

The Nat 87.

nat88 : Nat (N Nat88 Is (Difference a To (Nat88Plus a)))

The Nat 88.

nat89 : Nat (N Nat89 Is (Difference a To (Nat89Plus a)))

The Nat 89.

nat9 : Nat (N Nat9 Is (Difference a To (Nat9Plus a)))

The Nat 9.

nat90 : Nat (N Nat90 Is (Difference a To (Nat90Plus a)))

The Nat 90.

nat91 : Nat (N Nat91 Is (Difference a To (Nat91Plus a)))

The Nat 91.

nat92 : Nat (N Nat92 Is (Difference a To (Nat92Plus a)))

The Nat 92.

nat93 : Nat (N Nat93 Is (Difference a To (Nat93Plus a)))

The Nat 93.

nat94 : Nat (N Nat94 Is (Difference a To (Nat94Plus a)))

The Nat 94.

nat95 : Nat (N Nat95 Is (Difference a To (Nat95Plus a)))

The Nat 95.

nat96 : Nat (N Nat96 Is (Difference a To (Nat96Plus a)))

The Nat 96.

nat97 : Nat (N Nat97 Is (Difference a To (Nat97Plus a)))

The Nat 97.

nat98 : Nat (N Nat98 Is (Difference a To (Nat98Plus a)))

The Nat 98.

nat99 : Nat (N Nat99 Is (Difference a To (Nat99Plus a)))

The Nat 99.

Modules