sym): remove unnecessary alias (#18603)

Commit

2 years ago

chore (data/finset/sym): remove unnecessary alias (#18603) See the discussion in this [PR](https://github.com/leanprover-community/mathlib4/pull/2168)

Author

xroblot

Parents

9f0d61b4

mathlib3 02ba8949 - chore (data/finset/sym): remove unnecessary alias (#18603)

mathlib3
02ba8949 - chore (data/finset/sym): remove unnecessary alias (#18603)