Def PNat.XgcdType.isReduced

Modification history