Theorem BddAbove.range_finsetSup

Modification history

2026-08-12 01:10
Mathlib/Data/Finset/Lattice/Fold.lean
feat(Topology/Order): convergence of suprema and infima (#40578) …
Added BddAbove.range_finsetSupView on Github →