Theorem CategoryTheory.Quotient.lift_unique

Modification history