Def CategoryTheory.Limits.splitEpiOfCoequalizer

Modification history