`BookProof.ChapterWignerSymmetry.sum_pairCoord` (b : OrthonormalBasis ι ℂ E) {o i : ι} (hi : i ≠ o) : ∑ j, pairCoord o i j • b j = b o + b i

Initializing...

`BookProof.ChapterWignerSymmetry.sum_pairCoord` (b : OrthonormalBasis ι ℂ E) {o i : ι} (hi : i ≠ o) : ∑ j, pairCoord o i j • b j = b o + b i · Prove2Me