alternating): add some helper lemmas for gh-5269 (#6186)

Commit

4 years ago

chore(group_theory/perm, linear_algebra/alternating): add some helper lemmas for gh-5269 (#6186)

Author

eric-wieser

Parents