Def CategoryTheory.Equivalence.congrLeftFunctor

Modification history

2025-12-13 14:21
Mathlib/CategoryTheory/Equivalence/Symmetry.lean
chore: use `Category*` everywhere (#32842) …
Modified CategoryTheory.Equivalence.congrLeftFunctorView on Github →
2025-05-20 14:06
Mathlib/CategoryTheory/Equivalence/Symmetry.lean
feat(CategoryTheory/Equivalence): functoriality of symmetry of equivalences (#23198) …
Added CategoryTheory.Equivalence.congrLeftFunctorView on Github →