Theorem CategoryTheory.MorphismProperty.IsStableUnderLimitsOfShape.functorCategory

Modification history