Theorem CategoryTheory.MorphismProperty.IsStableUnderColimitsOfShape.colimitsOfShape_le

Modification history