mathlib

fb674e1e - feat(data/finset/lattice): map_sup, map_inf (#6601)