mathlib3
564ab022 - feat(category_theory/kernels): cokernel (image.ι f) ≅ cokernel f (#3441)

Commit

6 years ago

feat(category_theory/kernels): cokernel (image.ι f) ≅ cokernel f (#3441) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents