Commit 2025-01-11 16:52 347912d7
View on Github →chore(CategoryTheory/Limits/Cones): functoriality of mapCone (#20641)
Record a basic compatibility of mapCone with functor compositon, which seemed to be missing. Also record the corresponding statement for cocones.