P
Initializing...
(mu : ℝ) : (polyGaussCore (d · Prove2Me