Theorem CategoryTheory.Limits.reflectsColimitsOfReflectsIsomorphisms

Modification history