Theorem Ideal.fst_comp_quotientInfEquivQuotientProd

Modification history