mathlib3

feat(group/perm/sign): swap_adj_induction_on

#3770

Open