Def CategoryTheory.isColimitOfEffectiveEpiStruct

Modification history