Theorem CategoryTheory.Preadditive.hasCoequalizers_of_hasCokernels

Modification history