`BookProof.StrichartzWave.constCoeffOp_eq_multiplierOp` (c : ι → ℝ) (w : ι → V) (κ : ℝ) : constCoeffOp c w κ = multiplierOp (symbolFn c w κ)

Initializing...

`BookProof.StrichartzWave.constCoeffOp_eq_multiplierOp` (c : ι → ℝ) (w : ι → V) (κ : ℝ) : constCoeffOp c w κ = multiplierOp (symbolFn c w κ) · Prove2Me