P
Initializing...
(mu : ℝ) (x : lpFiniteModes Vel) : quadForm ((polyGaussCore (d · Prove2Me