Theorem Ideal.Quotient.algEquivOfEqComap_apply

Modification history