P
Initializing...
(mu : ℝ) (hmu : 0 ≤ mu) (f : polyGaussCore (d · Prove2Me