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.
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.