Theorem CategoryTheory.Limits.hasColimitsOfShape_of_hasLimitsOfShape_op

Modification history