Theorem CategoryTheory.MorphismProperty.IsStableUnderColimitsOfShape.colim_map

Modification history