Def PNat.gcdZ

Modification history