Theorem CategoryTheory.Limits.hasLimitsOfShape_of_closed_under_limits

Modification history