Theorem CategoryTheory.MorphismProperty.limitsOfShape_le

Modification history

2025-05-13 14:46
Mathlib/CategoryTheory/MorphismProperty/Limits.lean
chore(CategoryTheory): make MorphismProperty.IsStableUnderColimitsOfShape a class (#24773)
Added CategoryTheory.MorphismProperty.limitsOfShape_leView on Github →