Theorem Nat.succPNat_strictMono

Modification history