Commit 2023-12-14 09:19 1efef4c7

View on Github →

chore: Nat.mod_succ (#9031) A simp lemma specialized to n % n.succ

Estimated changes

added theorem Nat.mod_succ