Def CategoryTheory.Equivalence.congrLeft

Modification history

2024-10-29 08:46

Mathlib/CategoryTheory/Equivalence.lean

chore(CategoryTheory): define the equivalences `congrLeft` and `congrRight` more explicitly (#18165)

Modified CategoryTheory.Equivalence.congrLeft View on Github →

2023-02-11 09:23

Mathlib/CategoryTheory/Equivalence.lean

feat: port CategoryTheory.Equivalence (#1287) …

Added CategoryTheory.Equivalence.congrLeft View on Github →