Theorem Ideal.Quotient.ringHom_ext

Modification history