Theorem Set.union_symmDiff_union_subset

Modification history

2026-01-26 09:39
Mathlib/Data/Set/SymmDiff.lean
feat: lemmas about `symmDiff` and finite sums (#34410) …
Added Set.union_symmDiff_union_subsetView on Github →