Theorem Nat.bit_le_bit1

Modification history