Theorem Ideal.Quotient.lift_mk

Modification history