Def CategoryTheory.effectiveEpiStructOfEffectiveEpiFamilySingleton

Modification history