Def CategoryTheory.EffectiveEpiFamilyStruct_of_isIso_desc

Modification history