Def CategoryTheory.EffectiveEpi_familyStruct

Modification history