Def CategoryTheory.effectiveEpiFamilyStructCompOfEffectiveEpiSplitEpi

Modification history