Def CategoryTheory.Sieve.EffectiveEpimorphic

Modification history