Theorem Nat.bit0_le_bit1_iff

Modification history