Def CategoryTheory.Limits.reflectsLimitOfReflectsIsomorphisms

Modification history