Def PNat.XgcdType.b

Modification history