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

Initializing...

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