mathlib3

feat(category_theory/image): comparison maps for precomposition

#2153

Merged