chore(data/finset/sym): fix a typo (#18426)
During the port of this file to mathlib4 (see https://github.com/leanprover-community/mathlib4/pull/2168#), it was noticed that the same alias was declared twice. Looking at the code, it is clear that the second declaration is a typo that it is fixed in this PR.
