Theorem Nat.lor'_eq_lor

Modification history