`BookProof.ChapterWignerSymmetry.modulus_add` (hS : WignerCoord S o) {i : ι} (hi : i ≠ o) (v : ι → ℂ) : ‖S v o + S v i‖ = ‖v o + v i‖

Initializing...

`BookProof.ChapterWignerSymmetry.modulus_add` (hS : WignerCoord S o) {i : ι} (hi : i ≠ o) (v : ι → ℂ) : ‖S v o + S v i‖ = ‖v o + v i‖ · Prove2Me