Def CategoryTheory.Limits.reflectsLimitsOfShapeOfReflectsIsomorphisms

Modification history