Theorem Ideal.Factors.piQuotientEquiv_map

Modification history