Theorem Finset.symmDiff_eq_union_iff

Modification history

2025-06-09 16:08

Mathlib/Data/Finset/SymmDiff.lean

feat(Finset/SymmDiff): add additional api lemmas (#25553) …

Added Finset.symmDiff_eq_union_iff View on Github →