Commit 2023-03-07 14:15 43a2e9d8

View on Github →

fix: use dot notation for mapCone/mapCocone (#2696) Thanks to #2661 we have G.mapCone back. This swiches over globally.

Estimated changes

Modified Mathlib/CategoryTheory/Adjunction/Limits.lean

Modified Mathlib/CategoryTheory/Limits/Creates.lean

Modified Mathlib/CategoryTheory/Limits/FunctorCategory.lean

Modified Mathlib/CategoryTheory/Limits/HasLimits.lean

Modified Mathlib/CategoryTheory/Limits/Preserves/Basic.lean

modified def CategoryTheory.Limits.isColimitOfReflects

modified def CategoryTheory.Limits.isLimitOfReflects

Modified Mathlib/CategoryTheory/Limits/Preserves/Limits.lean

Modified Mathlib/CategoryTheory/Limits/Preserves/Shapes/BinaryProducts.lean

Modified Mathlib/CategoryTheory/Limits/Preserves/Shapes/Terminal.lean

Modified Mathlib/CategoryTheory/Limits/Yoneda.lean