Def category_theory.quotient.lift

Modification history