Theorem biSup_finsetSigma'

Modification history

2024-02-20 17:52
Mathlib/Data/Finset/Sigma.lean
feat: `iInter_sigma`, `biInter_sigma`, `biSup_sigma`, `biInf_sigma` (#8964) …
Added biSup_finsetSigma'View on Github →