Def CategoryTheory.IsKernelPair.toCoequalizer

Modification history