[Merged by Bors] - feat(Algebra/Colimit/DirectLimit): add star structures (Star, StarRing, etc.) on DirectLimit #38308
+146
−7
Loading