Theorem Nat.mod_two_add_succ_mod_two

Modification history