sign): Add swap_induction_on' (#5092)

Commit

5 years ago

feat(group_theory/perm/sign): Add swap_induction_on' (#5092) This also adds a docstring for swap_induction_on

Author

eric-wieser

Parents