Def CategoryTheory.MorphismProperty.IsStableUnderColimitsOfShape
Modification history
2025-05-13 14:46
Mathlib/CategoryTheory/MorphismProperty/Limits.lean
chore(CategoryTheory): make MorphismProperty.IsStableUnderColimitsOfShape a class (#24773)
Deleted CategoryTheory.MorphismProperty.IsStableUnderColimitsOfShapeView on Github →