Theorem biSup_sigma

Modification history

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