`BookProof.FockCubicUnbounded.trial_numberQuad` (k n : ℕ) (c : ℝ) : numberQuad (trial k n c) = (n : ℝ) + ((n : ℝ) + 3) * c ^ 2

Initializing...

`BookProof.FockCubicUnbounded.trial_numberQuad` (k n : ℕ) (c : ℝ) : numberQuad (trial k n c) = (n : ℝ) + ((n : ℝ) + 3) * c ^ 2 · Prove2Me