P
Initializing...
Some rotation of an affine valuation word is bounded by its mechanical weighted sum · Prove2Me