Theorem CategoryTheory.Preadditive.mono_of_kernel_zero

Modification history