Theorem PNat.XgcdType.isSpecial_iff

Modification history