Def PNat.XgcdType.isReduced'

Modification history