Def CategoryTheory.effectiveEpiStructDescOfEffectiveEpiFamily

Modification history