Theorem CategoryTheory.Preadditive.hasEqualizer_of_hasKernel

Modification history