Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.bUnion_diff_bUnion_eq

Modification history

2023-03-26 13:57
src/data/set/pairwise/basic.lean
chore(data/set/pairwise): split (#17880) …
Modified set.bUnion_diff_bUnion_eqView on Github →
2021-11-04 17:11
src/data/set/pairwise.lean
refactor(data/set/pairwise): Indexed sets as arguments to `set.pairwise_disjoint` (#9898) …
Modified set.bUnion_diff_bUnion_eqView on Github →
2021-10-28 17:00
src/data/set/lattice.lean
move(data/set/pairwise): Move `set.pairwise_on` (#9986) …
Modified set.bUnion_diff_bUnion_eqView on Github →
2021-10-19 02:24
src/data/set/lattice.lean
feat(analysis/box_integral): Divergence thm for a Henstock-style integral (#9496) …
Added set.bUnion_diff_bUnion_eqView on Github →