Theorem CategoryTheory.Limits.closedUnderLimitsOfShape_of_limit

Modification history