Theorem PNat.XgcdType.flip_isSpecial

Modification history