Theorem Finset.sup'_const

Modification history

2025-08-14 11:59
Mathlib/Data/Finset/Lattice/Fold.lean
chore(Data/Finset/Lattice): golf entire `sup'_const` (#28397)
Modified Finset.sup'_constView on Github →
2023-01-17 10:40
Mathlib/Data/Finset/Lattice.lean
feat: port Data.Finset.Lattice (#1606)
Added Finset.sup'_constView on Github →