Theorem Ideal.quotientMulEquivQuotientProd_snd

Modification history