P

Initializing...

`v` on coefficients: `(v x)_σ = v(x_σ)`. · Prove2Me