Theorem CategoryTheory.MorphismProperty.limitsOfShape_limMap

Modification history