Theorem CategoryTheory.Abelian.mono_of_kernel_ι_eq_zero

Modification history