Theorem CategoryTheory.hasColimitsOfShape_of_coreflective

Modification history