Theorem Nat.mod_succ

Modification history