NNats

NNat Nat0 to NNat Nat192.

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

The NNat 0.

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

The NNat 1.

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

The NNat 10.

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

The NNat 100.

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

The NNat 101.

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

The NNat 102.

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

The NNat 103.

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

The NNat 104.

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

The NNat 105.

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

The NNat 106.

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

The NNat 107.

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

The NNat 108.

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

The NNat 109.

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

The NNat 11.

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

The NNat 110.

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

The NNat 111.

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

The NNat 112.

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

The NNat 113.

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

The NNat 114.

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

The NNat 115.

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

The NNat 116.

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

The NNat 117.

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

The NNat 118.

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

The NNat 119.

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

The NNat 12.

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

The NNat 120.

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

The NNat 121.

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

The NNat 122.

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

The NNat 123.

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

The NNat 124.

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

The NNat 125.

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

The NNat 126.

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

The NNat 127.

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

The NNat 128.

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

The NNat 129.

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

The NNat 13.

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

The NNat 130.

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

The NNat 131.

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

The NNat 132.

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

The NNat 133.

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

The NNat 134.

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

The NNat 135.

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

The NNat 136.

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

The NNat 137.

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

The NNat 138.

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

The NNat 139.

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

The NNat 14.

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

The NNat 140.

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

The NNat 141.

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

The NNat 142.

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

The NNat 143.

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

The NNat 144.

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

The NNat 145.

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

The NNat 146.

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

The NNat 147.

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

The NNat 148.

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

The NNat 149.

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

The NNat 15.

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

The NNat 150.

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

The NNat 151.

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

The NNat 152.

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

The NNat 153.

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

The NNat 154.

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

The NNat 155.

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

The NNat 156.

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

The NNat 157.

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

The NNat 158.

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

The NNat 159.

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

The NNat 16.

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

The NNat 160.

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

The NNat 161.

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

The NNat 162.

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

The NNat 163.

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

The NNat 164.

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

The NNat 165.

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

The NNat 166.

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

The NNat 167.

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

The NNat 168.

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

The NNat 169.

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

The NNat 17.

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

The NNat 170.

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

The NNat 171.

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

The NNat 172.

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

The NNat 173.

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

The NNat 174.

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

The NNat 175.

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

The NNat 176.

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

The NNat 177.

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

The NNat 178.

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

The NNat 179.

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

The NNat 18.

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

The NNat 180.

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

The NNat 181.

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

The NNat 182.

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

The NNat 183.

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

The NNat 184.

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

The NNat 185.

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

The NNat 186.

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

The NNat 187.

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

The NNat 188.

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

The NNat 189.

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

The NNat 19.

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

The NNat 190.

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

The NNat 191.

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

The NNat 192.

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

The NNat 2.

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

The NNat 20.

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

The NNat 21.

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

The NNat 22.

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

The NNat 23.

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

The NNat 24.

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

The NNat 25.

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

The NNat 26.

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

The NNat 27.

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

The NNat 28.

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

The NNat 29.

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

The NNat 3.

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

The NNat 30.

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

The NNat 31.

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

The NNat 32.

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

The NNat 33.

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

The NNat 34.

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

The NNat 35.

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

The NNat 36.

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

The NNat 37.

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

The NNat 38.

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

The NNat 39.

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

The NNat 4.

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

The NNat 40.

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

The NNat 41.

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

The NNat 42.

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

The NNat 43.

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

The NNat 44.

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

The NNat 45.

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

The NNat 46.

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

The NNat 47.

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

The NNat 48.

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

The NNat 49.

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

The NNat 5.

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

The NNat 50.

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

The NNat 51.

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

The NNat 52.

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

The NNat 53.

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

The NNat 54.

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

The NNat 55.

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

The NNat 56.

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

The NNat 57.

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

The NNat 58.

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

The NNat 59.

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

The NNat 6.

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

The NNat 60.

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

The NNat 61.

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

The NNat 62.

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

The NNat 63.

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

The NNat 64.

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

The NNat 65.

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

The NNat 66.

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

The NNat 67.

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

The NNat 68.

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

The NNat 69.

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

The NNat 7.

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

The NNat 70.

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

The NNat 71.

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

The NNat 72.

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

The NNat 73.

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

The NNat 74.

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

The NNat 75.

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

The NNat 76.

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

The NNat 77.

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

The NNat 78.

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

The NNat 79.

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

The NNat 8.

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

The NNat 80.

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

The NNat 81.

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

The NNat 82.

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

The NNat 83.

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

The NNat 84.

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

The NNat 85.

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

The NNat 86.

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

The NNat 87.

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

The NNat 88.

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

The NNat 89.

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

The NNat 9.

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

The NNat 90.

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

The NNat 91.

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

The NNat 92.

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

The NNat 93.

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

The NNat 94.

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

The NNat 95.

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

The NNat 96.

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

The NNat 97.

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

The NNat 98.

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

The NNat 99.

indique/elm-n-nat/4.0.1

NNats

Modules