Theorem Nat.bit_lt_bit0

Modification history