Def CategoryTheory.effectiveEpiFamilyStructOfEffectiveEpiDesc

Modification history