Def CategoryTheory.Equivalence.asNatTrans

Modification history

2025-05-18 14:11

Mathlib/CategoryTheory/Equivalence.lean

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

Added CategoryTheory.Equivalence.asNatTrans View on Github →