The reciprocal substitution commutes with the plethystic powers, twisting the exponent by `q ↦ q⁻¹`: `P_w(g)ᵛ = P_{v(w)}(gᵛ)` for `g(0) = 1`.

Initializing...

The reciprocal substitution commutes with the plethystic powers, twisting the exponent by `q ↦ q⁻¹`: `P_w(g)ᵛ = P_{v(w)}(gᵛ)` for `g(0) = 1`. · Prove2Me