`BookProof.ChapterSinusoidalPosition.peInner_shift` (w : Fin n → ℝ) (p q t : ℝ) : peInner w (p + t) (q + t) = peInner w p q

Initializing...

`BookProof.ChapterSinusoidalPosition.peInner_shift` (w : Fin n → ℝ) (p q t : ℝ) : peInner w (p + t) (q + t) = peInner w p q · Prove2Me