Def CategoryTheory.Equivalence.mkHom

Modification history

2025-05-18 14:11

Mathlib/CategoryTheory/Equivalence.lean

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

Added CategoryTheory.Equivalence.mkHom View on Github →