P
Initializing...
The coordinate exponents of a tensor character sum to at most 9/4 · Prove2Me