Commit 2021-06-12 23:46 39073fa2
View on Github →feat(algebra/pointwise): Dynamics of powers of a subset (#7836)
If S is a subset of a group G, then the powers of S eventually stabilize in size.
feat(algebra/pointwise): Dynamics of powers of a subset (#7836)
If S is a subset of a group G, then the powers of S eventually stabilize in size.