P
Initializing...
The dilation commutes with the plethystic powers `P_w` (for `g(0) = 1`). · Prove2Me