mathlib3

916bf74a - feat(category_theory/limits): images, equalizers and pullbacks imply functorial images (#5140)