Permutation over a finite set

Stream: new members

[Maxime Darrin]

Hi, how can we define a permutation over a finite set:
I would like to define a permutation over a set of indices
v : {0,1,2} -> {0,1,2} a permutation
I found finmap but I could not manage to use it properly

[Eric Wieser]

Are you looking for equiv.perm (fin 3)?

[Eric Wieser]

Which is the type of permutations of the integers 0, 1, and 2

[Maxime Darrin]

Yeah it seems to be what I need thanks!