mathlib

98b76372 - feat(category_theory/limits): monos have images (#14186)

feat(category_theory/limits): monos have images (#14186) Turning on an instance for `has_image` for any monomorphism. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>