P
Initializing...
: ∃ cst : ℝ, 0 ≤ cst ∧ ∀ f : polyGaussCore (d · Prove2Me