[Merged by Bors] - feat(CategoryTheory/Limits): sigmaConst preserves colimits
#37645
+143
−49
Loading