P
Initializing...
Singular sum is the (L/phi(L))-rescaled good part · Prove2Me