Theorem Ideal.Quotient.factor_comp_apply

Modification history