Theorem Nat.lor_bit

Modification history