Def CategoryTheory.Limits.reflectsColimitOfReflectsIsomorphisms

Modification history