Theorem Nat.ofNat_lt

Modification history