Theorem Ideal.Quotient.factor_mk

Modification history