Theorem Finset.isLUB_sup'

Modification history

2024-12-15 02:03
Mathlib/Data/Finset/Lattice/Fold.lean
feat: add theorems about isLUB and isGLB for Finset.sup and Finset.inf (#19961) …
Added Finset.isLUB_sup'View on Github →