Theorem PNat.XgcdType.finish_isReduced

Modification history