basic): `symm_diff` lemmas (#17051)

Commit

3 years ago

feat(data/set/basic): `symm_diff` lemmas (#17051) A few lemma about `symm_diff`, and their translation to `set`.

Author

YaelDillies

Parents