Commit 2023-03-06 18:46 75a21256

View on Github →

chore: fix dot notation for CategoryTheory.Functor.mapCone (#2661) The dot notation for Functor.mapCone is fixed by changing the order of implicit/explicit parameters.

Estimated changes

Modified Mathlib/CategoryTheory/Limits/Cones.lean

modified def CategoryTheory.Functor.mapCoconeMorphism

modified def CategoryTheory.Functor.mapConeMorphism

modified def CategoryTheory.Limits.Cocone.extend

modified def CategoryTheory.Limits.Cocone.extensions

modified def CategoryTheory.Limits.Cocones.ext

modified def CategoryTheory.Limits.Cone.extensions