mathlib3

feat(group_theory/perm/sign): Add `equiv.perm.move`, to move an item in a permutation

#4739

Open