Theorem Finset.symmDiff_subset_sdiff

Modification history

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