mathlib
19b752c4 - feat(category_theory/preadditive): reformulation of mono_of_kernel_zero (#7464)

Commit

4 years ago

feat(category_theory/preadditive): reformulation of mono_of_kernel_zero (#7464) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents