mathlib

247fe80d - feat(category_theory/cones): cone functoriality is fully faithful (#3202)

feat(category_theory/cones): cone functoriality is fully faithful (#3202) The functors `cones.functoriality` and `cocones.functoriality` are fully faithful if the transformation functor is as well.