Def PosNum.ofNatSucc

Modification history