Theorem Nat.lor'_bit

Modification history