Commit 2025-08-14 11:59 4910f46d

View on Github →

chore(Data/Finset/Lattice): golf entire sup'_const (#28397)

Estimated changes

modified theorem Finset.sup'_const