Theorem Nat.bit0_mod_two

Modification history