Def Ideal.Quotient.algEquivOfEqComap

Modification history