`BookProof.FockCubicQuarticStability.sq_norm_annA_le_numberQuad` (k : ℕ) (u : FockAlg) : ‖toLp (annA k u)‖ ^ 2 ≤ numberQuad u

Initializing...

`BookProof.FockCubicQuarticStability.sq_norm_annA_le_numberQuad` (k : ℕ) (u : FockAlg) : ‖toLp (annA k u)‖ ^ 2 ≤ numberQuad u · Prove2Me