Theorem CategoryTheory.Quotient.lift_unique'

Modification history