Def CategoryTheory.EffectiveEpi.getStruct

Modification history