Theorem CategoryTheory.Limits.reflectsColimitsOfShapeOfReflectsIsomorphisms

Modification history