`BookProof.ChapterNote68AllModes.inner_stdVec` {i j : Fin 3} (h : i ≠ j) : ⟪stdVec i, stdVec j⟫_ℝ = 0

Initializing...

`BookProof.ChapterNote68AllModes.inner_stdVec` {i j : Fin 3} (h : i ≠ j) : ⟪stdVec i, stdVec j⟫_ℝ = 0 · Prove2Me