Theorem Finset.symmDiff_subset_union

Modification history

2025-06-09 16:08
Mathlib/Data/Finset/SymmDiff.lean
feat(Finset/SymmDiff): add additional api lemmas (#25553) …
Added Finset.symmDiff_subset_unionView on Github →