Def PNat.gcdX

Modification history