Theorem Nat.bit1_eq_bit1

Modification history