Def CategoryTheory.Equivalence.congrRightFunctor

Modification history

2025-05-18 14:11

Mathlib/CategoryTheory/Equivalence.lean

feat(CategoryTheory/Equivalences): category structure on equivalences (#23197) …

Added CategoryTheory.Equivalence.congrRightFunctor View on Github →