Def CategoryTheory.Quotient.lift

Modification history

2024-07-25 09:37

Mathlib/CategoryTheory/Quotient.lean

chore: robustifying for debug.byAsSorry (part 2) (#15119) …

Modified CategoryTheory.Quotient.lift View on Github →

2023-03-02 07:55

Mathlib/CategoryTheory/Quotient.lean

feat: port CategoryTheory.Quotient (#2339)

Added CategoryTheory.Quotient.lift View on Github →