Def CategoryTheory.Limits.reflectsColimitsOfShapeOfReflectsIsomorphisms

Modification history