`BookProof.ChapterSinusoidalPosition.abs_peInner_le` (w : Fin n → ℝ) (p q : ℝ) : |peInner w p q| ≤ (n : ℝ)

Initializing...

`BookProof.ChapterSinusoidalPosition.abs_peInner_le` (w : Fin n → ℝ) (p q : ℝ) : |peInner w p q| ≤ (n : ℝ) · Prove2Me