Theorem CategoryTheory.MorphismProperty.isStableUnderLimitsOfShape_iff_limitsOfShape_le

Modification history