mathlib

4bd8c855 - feat(category_theory/limits): is_kernel_of_comp (#14409)

feat(category_theory/limits): is_kernel_of_comp (#14409) From LTE. Also rename `lift_comp_ι` to `lift_ι` for consistency with the general `has_limit` versions.