Def CategoryTheory.effectiveEpiStructOfIsColimit

Modification history