Theorem Quotient.lift_surjective

Modification history