Theorem Finset.sup_Iic

Modification history

2026-09-07 14:31

Mathlib/Order/Interval/Finset/Basic.lean

chore(Order/Irreducible): use `to_dual` (#43336) …

Modified Finset.sup_Iic View on Github →

2023-09-29 06:57

Mathlib/Data/Finset/LocallyFinite.lean

feat: Supremum of `Finset.Iic a` (#7416) …

Added Finset.sup_Iic View on Github →