Theorem Ideal.quotientMulEquivQuotientProd_fst

Modification history