Theorem Ideal.quotientInfEquivQuotientProd_snd

Modification history