Def PNat.gcd

Modification history