Theorem Set.biUnion_iInter_of_pairwise_disjoint

Modification history

2025-10-31 09:48
Mathlib/Data/Set/Lattice/Image.lean
feat: biUnion_inter_of_pairwise_disjoint (#31063) …
Added Set.biUnion_iInter_of_pairwise_disjointView on Github →