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_univ'View on Github →