P
Initializing...
The plethystic power `P_w(g)` has constant term `1`. · Prove2Me