Theorem Set.biUnion_finsetSigma

Modification history

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