Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.biInter_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.biInter_finsetSigma_univ
View on Github →