Def CategoryTheory.createsColimitOfReflectsIsomorphismsOfPreserves

Modification history