`BookProof.ChapterCoherentOverlap.inner_eq_sum` (q k : EuclideanSpace ℝ (Fin n)) : inner ℝ q k = ∑ i, q i * k i

Initializing...

`BookProof.ChapterCoherentOverlap.inner_eq_sum` (q k : EuclideanSpace ℝ (Fin n)) : inner ℝ q k = ∑ i, q i * k i · Prove2Me