basic): Iterating a permutation is the same as taking a power (#13554)

Commit

3 years ago

feat(group_theory/perm/basic): Iterating a permutation is the same as taking a power (#13554)

Author

vihdzp

Parents