Commit 2024-10-29 08:46 d27f2289

View on Github →

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

Estimated changes

Modified Mathlib/CategoryTheory/Equivalence.lean

modified def CategoryTheory.Equivalence.congrLeft

modified def CategoryTheory.Equivalence.congrRight

Modified Mathlib/Topology/Sheaves/Presheaf.lean