Def CategoryTheory.effectiveEpiFamilyStructSingletonOfEffectiveEpi

Modification history