Theorem Ideal.Quotient.algEquivOfEqMap_apply

Modification history