`BookProof.ChapterSinusoidalPosition.peInner_self` (w : Fin n → ℝ) (p : ℝ) : peInner w p p = (n : ℝ)

Initializing...

`BookProof.ChapterSinusoidalPosition.peInner_self` (w : Fin n → ℝ) (p : ℝ) : peInner w p p = (n : ℝ) · Prove2Me