Theorem Nat.succ_mod_two_eq_one_iff

Modification history