P
Initializing...
(x : lpFiniteModes Vel) : ((nsDiffH A c (embedCore x) : polyGaussCore (d · Prove2Me