sign): trans and symm simp (#5735)

Commit

5 years ago

chore(group_theory/perm/sign): trans and symm simp (#5735) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

pechersky

Parents