Def CategoryTheory.Quotient.equiv

Modification history

2025-12-13 14:21
Mathlib/CategoryTheory/Quotient.lean
chore: use `Category*` everywhere (#32842) …
Modified CategoryTheory.Quotient.equivView on Github →
2025-11-23 17:11
Mathlib/CategoryTheory/Quotient.lean
feat(Algebraic Topology): the strict bicategory of quasicategories (#31101) …
Added CategoryTheory.Quotient.equivView on Github →