`BookProof.ChapterEulerNState.eulerWave_sq` (θ : ℕ → ℝ) (n k : ℕ) : (eulerWave θ n k) ^ 2 = bornProb θ n k

Initializing...

`BookProof.ChapterEulerNState.eulerWave_sq` (θ : ℕ → ℝ) (n k : ℕ) : (eulerWave θ n k) ^ 2 = bornProb θ n k · Prove2Me