`BookProof.ChapterWignerSymmetry.S_zero` (hS : WignerCoord S o) {v : ι → ℂ} {k : ι} (h : v k = 0) : S v k = 0

Initializing...

`BookProof.ChapterWignerSymmetry.S_zero` (hS : WignerCoord S o) {v : ι → ℂ} {k : ι} (h : v k = 0) : S v k = 0 · Prove2Me