Theorem CategoryTheory.Limits.hasColimitsOfShape_of_closed_under_colimits

Modification history