Theorem Nat.zero_lor

Modification history