Def PNat.XgcdType.isSpecial'

Modification history