Theorem Nat.lor_zero

Modification history