mathlib3

feat(group_theory/perm/sign): Add lemma about (sigma_congr_right σ).sign

#5923

Open