P
Initializing...
Coefficient evaluation agrees with univariate evaluation under $\mathrm{XCoeffEquiv}$ · Prove2Me