Theorem CategoryTheory.MorphismProperty.isStableUnderColimitsOfShape_iff_colimitsOfShape_le

Modification history