Theorem CategoryTheory.Preadditive.hasEqualizers_of_hasKernels

Modification history