sign): power has smaller support (#6872)

Commit

4 years ago

feat(group_theory/perm/sign): power has smaller support (#6872) The support of `g ^ n` is contained in the support of `g`.

References

Author

tb65536

Parents