`BookProof.StrichartzWave.hasTemperateGrowth_symbolFn` (c : ι → ℝ) (w : ι → V) (κ : ℝ) : Function.HasTemperateGrowth (symbolFn c w κ)

Initializing...

`BookProof.StrichartzWave.hasTemperateGrowth_symbolFn` (c : ι → ℝ) (w : ι → V) (κ : ℝ) : Function.HasTemperateGrowth (symbolFn c w κ) · Prove2Me