type-nats/operations.md

@@ -57,13 +57,13 @@ type instance a + a = 2 * a
 type instance a + m = m + a              -- for a concrete number m
 
 
-type instance m + n = mn                 -- for concrete numbers m, n, mn, with m * n = mn
+type instance m * n = mn                 -- for concrete numbers m, n, mn, with m * n = mn
 type instance 0 * a = a                   
 type instance 1 * a = a
 type instance a * a = a ^ 2
 type instance m * a = a * m              -- for concrete numbers m
 
-type instance m + n = mn                 -- for concrete numbers m, n, mn, with m ^ n = mn
+type instance m ^ n = mn                 -- for concrete numbers m, n, mn, with m ^ n = mn
 type instance 1 ^ a = 1
 type instance a ^ 0 = 1
 type instance a ^ 1 = a