Theorem CategoryTheory.MorphismProperty.IsStableUnderColimitsOfShape.colimMap

Modification history