Def CategoryTheory.IsSplitCoequalizer.isCoequalizer

Modification history