Def CategoryTheory.Limits.reflectsLimitsOfReflectsIsomorphisms

Modification history