Theorem PNat.XgcdType.step_isSpecial

Modification history