`BookProof.QgOuterFockFL.polyGaussCore_le_harmFriedDom` (d : ℕ) : (polyGaussCore (d := d)) ≤ (harmFried d).dom

Initializing...

`BookProof.QgOuterFockFL.polyGaussCore_le_harmFriedDom` (d : ℕ) : (polyGaussCore (d := d)) ≤ (harmFried d).dom · Prove2Me