Def CategoryTheory.Equivalence.functorFunctor

Modification history

2025-05-18 14:11

Mathlib/CategoryTheory/Equivalence.lean

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

Added CategoryTheory.Equivalence.functorFunctor View on Github →