Theorem CategoryTheory.IsSplitCoequalizer.asCofork_π

Modification history