Theorem CategoryTheory.Limits.preservesColimitOfReflectsOfPreserves

Modification history