`BookProof.ChapterWignerSymmetry.sum_triple` {o i j : ι} (hio : i ≠ o) (hjo : j ≠ o) (hij : i ≠ j) {f : ι → ℂ} (hf : ∀ k, k ≠ o → k ≠ i → k ≠ j → f k = 0) (g : ι →...

Initializing...

`BookProof.ChapterWignerSymmetry.sum_triple` {o i j : ι} (hio : i ≠ o) (hjo : j ≠ o) (hij : i ≠ j) {f : ι → ℂ} (hf : ∀ k, k ≠ o → k ≠ i → k ≠ j → f k = 0) (g : ι →... · Prove2Me