Commit 2025-06-09 16:08 f8584e63
View on Github →feat(Finset/SymmDiff): add additional api lemmas (#25553) Fill in simple lemmas as convenient special cases with the right syntactic equalities for rewrites.
feat(Finset/SymmDiff): add additional api lemmas (#25553) Fill in simple lemmas as convenient special cases with the right syntactic equalities for rewrites.