`BookProof.QgOuterFockFullFL.qgSectorHam_commForm_le` (n : ℕ) (u : polyGaussCore (d := n * 84)) : |commForm (qgSectorHam n) harmCore u| ≤ qgFLc * quadForm harmCore u

Initializing...

`BookProof.QgOuterFockFullFL.qgSectorHam_commForm_le` (n : ℕ) (u : polyGaussCore (d := n * 84)) : |commForm (qgSectorHam n) harmCore u| ≤ qgFLc * quadForm harmCore u · Prove2Me