Commit 2021-03-26 11:55 34a33172
View on Github →feat(group_theory/perm/sign): power has smaller support (#6872)
The support of g ^ n is contained in the support of g.
feat(group_theory/perm/sign): power has smaller support (#6872)
The support of g ^ n is contained in the support of g.