Theorem Ideal.Quotient.mk_comp_algebraMap

Modification history