Theorem Finset.sup_Iic_of_monotone

Modification history

2026-02-23 11:58
Mathlib/Order/Interval/Finset/Basic.lean
feat(RingTheory/MvPowerSeries): introduce truncFinset to unify truncations (#35118) …
Added Finset.sup_Iic_of_monotoneView on Github →