`BookProof.ChapterDisplacedThermalMulti.norm_sq_eq_sum` (a b : EuclideanSpace ℝ (Fin n)) : ‖a - b‖ ^ 2 = ∑ i, (a i

Initializing...

`BookProof.ChapterDisplacedThermalMulti.norm_sq_eq_sum` (a b : EuclideanSpace ℝ (Fin n)) : ‖a - b‖ ^ 2 = ∑ i, (a i - b i) ^ 2 · Prove2Me