Theorem Nat.lor'_zero

Modification history