Commit 2020-04-25 23:03 5219ca1a
View on Github →doc(data/nat/modeq): add module docstring and lemma (#2528) I add a simple docstrong and also a lemma which I found useful for a codewars kata.
doc(data/nat/modeq): add module docstring and lemma (#2528) I add a simple docstrong and also a lemma which I found useful for a codewars kata.