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
.