Theorem Ideal.Quotient.factor_comp_mk

Modification history