Theorem CategoryTheory.MorphismProperty.colimitsOfShape_colimMap

Modification history