mathlib

3ec54df5 - feat(data/finset/lattice): le_sup_iff and lt_sup_iff (#7182)

feat(data/finset/lattice): le_sup_iff and lt_sup_iff (#7182) A few changes and additions to finset/lattice in response to this Zulip thread https://leanprover.zulipchat.com/#narrow/stream/217875-Is-there.20code.20for.20X.3F/topic/finset.2Esup'