mathlib3

9d1ab69f - refactor(category_theory/images): improvements (#7198)

refactor(category_theory/images): improvements (#7198) Some improvements to the images API, from `homology2`. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>