Theorem Nat.bit_mod_two_eq_one_iff

Modification history