Theorem CategoryTheory.MorphismProperty.IsStableUnderLimitsOfShape.lim_map

Modification history