mathlib3

9cbd828a - feat(data/finset/basic): add image_congr (#10911)