Theorem Set.Nonempty.isGreatest_csSup

Modification history

2026-08-18 15:22
Mathlib/Order/ConditionallyCompleteLattice/Finset.lean
feat(Data/Fintype/Order): add `Finite.ciInf_le_iff` and friends (#42623) …
Added Set.Nonempty.isGreatest_csSupView on Github →