Theorem CategoryTheory.MorphismProperty.limitsOfShape.mk'

Modification history

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