sign): speed up sign_aux_swap_zero_one proof (#6128)

Commit

4 years ago

chore(group_theory/perm/sign): speed up sign_aux_swap_zero_one proof (#6128) Co-authored-by: Yakov Pechersky <pechersky@users.noreply.github.com>

Author

pechersky

Parents