`BookProof.FockCubicUnbounded.cubeA_coord` (k : ℕ) (x : FockAlg) (γ : Conf) : cubeA k x γ = ((Real.sqrt (γ k) : ℝ) : ℂ) * ((Real.sqrt ((dn k γ) k) : ℝ) : ℂ) * ((Real.sqrt ((dn k (d

Initializing...

`BookProof.FockCubicUnbounded.cubeA_coord` (k : ℕ) (x : FockAlg) (γ : Conf) : cubeA k x γ = ((Real.sqrt (γ k) : ℝ) : ℂ) * ((Real.sqrt ((dn k γ) k) : ℝ) : ℂ) * ((Real.sqrt ((dn k (d · Prove2Me