Def CategoryTheory.createsColimitOfReflectsIso

Modification history