`BookProof.QgOuterFockFL.qgOuterFriedN_quadForm_nonneg` (x : qgOuterFriedDom) : 0 ≤ quadForm qgOuterFriedN x

Initializing...

`BookProof.QgOuterFockFL.qgOuterFriedN_quadForm_nonneg` (x : qgOuterFriedDom) : 0 ≤ quadForm qgOuterFriedN x · Prove2Me