`BookProof.ChapterNote68AllModes.helmholtz_sbessel_solidHarmonicIm` {u v e : E} (hu : ‖u‖ = 1) (hv : ‖v‖ = 1) (he : ‖e‖ = 1) (huv : ⟪u, v⟫_ℝ = 0) (hue : ⟪u, e⟫_ℝ = 0) (hve...

Initializing...

`BookProof.ChapterNote68AllModes.helmholtz_sbessel_solidHarmonicIm` {u v e : E} (hu : ‖u‖ = 1) (hv : ‖v‖ = 1) (he : ‖e‖ = 1) (huv : ⟪u, v⟫_ℝ = 0) (hue : ⟪u, e⟫_ℝ = 0) (hve... · Prove2Me