Theorem CategoryTheory.Limits.preservesLimitsOfShapeOfReflectsOfPreserves

Modification history