Theorem Nat.bit_lt_bit

Modification history