Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-14 15:25 de8b88f1

View on Github →

chore(group_theory/perm/sign): trans and symm simp (#5735)

Estimated changes

Modified src/group_theory/perm/sign.lean

added theorem equiv.perm.sign_symm

modified theorem equiv.perm.sign_symm_trans_trans

added theorem equiv.perm.sign_trans

added theorem equiv.perm.sign_trans_trans_symm