Theorem Nat.ofNat_pos

Modification history