Theorem Set.biUnion_sigma

Modification history

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