Theorem Nat.succ_mod_two_add_mod_two

Modification history