Theorem CategoryTheory.Limits.reflectsLimitOfReflectsIsomorphisms

Modification history