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_sdiff'View on Github →