P
Initializing...
Powers preserve the finite-index span of a finite family in a commutative group · Prove2Me