Theorem CategoryTheory.Limits.hasLimitsOfShape_of_hasColimitsOfShape_op

Modification history