Theorem Ideal.quotientInfEquivQuotientProd_fst

Modification history