Theorem PNat.XgcdType.flip_isReduced

Modification history