Theorem PNat.one_add_natPred

Modification history