P
Initializing...
(x : lpFiniteModes Vel) : commForm ((polyGaussCore (d · Prove2Me