mathlib
4efa5baa - Merge remote-tracking branch 'origin' into eric-wieser/sigma_congr_right_sign

Commit

5 years ago

Merge remote-tracking branch 'origin' into eric-wieser/sigma_congr_right_sign # Conflicts: # src/group_theory/perm/basic.lean # src/group_theory/perm/sign.lean

References

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

Author

eric-wieser

Parents

1f0cbc81

e5f9409c

mathlib 4efa5baa - Merge remote-tracking branch 'origin' into eric-wieser/sigma_congr_right_sign

mathlib
4efa5baa - Merge remote-tracking branch 'origin' into eric-wieser/sigma_congr_right_sign