mathlib3

5a91d05e - feat(data/finset/lattice): add sup_image (#7428)

feat(data/finset/lattice): add sup_image (#7428) This also renames `finset.map_sup` to `finset.sup_map` to match `finset.sup_insert` and `finset.sup_singleton`. The `inf` versions are added too.