mathlib

39073fa2 - feat(algebra/pointwise): Dynamics of powers of a subset (#7836)

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. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>