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