Theorem CategoryTheory.MorphismProperty.colimitsOfShape_le

Modification history