Commit 2021-04-14 03:47 3ec54df5
View on Github →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'