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