Def CategoryTheory.MorphismProperty.IsStableUnderColimitsOfShape

Modification history