Theorem Nat.bit0_eq_bit0

Modification history