Structure CategoryTheory.IsSplitCoequalizer

Modification history