Theorem CategoryTheory.Limits.reflectsLimitsOfReflectsIsomorphisms

Modification history