Theorem Ideal.Quotient.liftₐ_apply

Modification history