Theorem Nat.zero_max

Modification history