`BookProof.FockCubicUnbounded.trial_at_n3` (k n : ℕ) (c : ℝ) : trial k n c (confAt k (n + 3)) = ((c : ℝ) : ℂ)

Initializing...

`BookProof.FockCubicUnbounded.trial_at_n3` (k n : ℕ) (c : ℝ) : trial k n c (confAt k (n + 3)) = ((c : ℝ) : ℂ) · Prove2Me