Theorem Set.biUnion_finsetSigma_univ

Modification history

2024-02-28 09:50
Mathlib/Data/Fintype/Sigma.lean
feat: Unions and intersections indexed by `Finset.sigma` (#10851) …
Added Set.biUnion_finsetSigma_univView on Github →