mathlib

f81f861e - feat(category_theory/limits): the kernel of the cokernel of an epimorphism is an isomorphism (#2088)

feat(category_theory/limits): the kernel of the cokernel of an epimorphism is an isomorphism (#2088) * The kernel of the cokernel of an epimorphism is an isomorphism * Fix unused argument warnings * Remove a set_option * Fix a typo Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>