Theorem CategoryTheory.Preadditive.hasKernel_of_hasEqualizer

Modification history