Theorem Ideal.Factors.piQuotientEquiv_mk

Modification history