mathlib
e5f9409c - refactor(category_theory/abelian): golf `mono_of_kernel_ι_eq_zero` (#5914)

Commit

4 years ago

refactor(category_theory/abelian): golf `mono_of_kernel_ι_eq_zero` (#5914) Co-authors: `lean-gptf`, Stanislas Polu

References

Author

Jesse Michael Han

Parents