Structure CategoryTheory.EffectiveEpiStruct

Modification history