`B_a = P_{1/q}(G_a)`: the Euler transform with parameter `q` is inverted by the plethystic power `1/q`.

Initializing...

`B_a = P_{1/q}(G_a)`: the Euler transform with parameter `q` is inverted by the plethystic power `1/q`. · Prove2Me