a-conjecture-of-mine

An exercise on polyglossy: the same problem solved on multiple languages

commit 81a611cfe7ffa7a6499e18eb8961645378a76527
parent c7b51a4bfe125e03fc7371e24a1da56568acb925
Author: Pablo Escobar Gaviria <gark.garcia@protonmail.com>
Date:   Sat,  1 Feb 2020 22:53:07 -0200

Minor changes in `README.md`.

Diffstat:
MREADME.md | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/README.md b/README.md
@@ -17,7 +17,7 @@ Check out `proof.pdf` for more information.
 
 Let `S(n: uint) -> uint` be the sum of the digits of `n` in 
 _[base 10](https://en.wikipedia.org/wiki/Decimal)_. Then, for all `a` and `b` 
-of type `uint`, `S(a + b) - ( S(a) + S(b) ) % 9 == 0`.
+of type `uint`, `S(a + b) - S(a) - S(b) % 9 == 0`.
 
 # Performance