Theorem CategoryTheory.hasLimitsOfShape_of_coreflective

Modification history