`BookProof.ChapterEnergyBoundedEvolution.eLpNorm_evol` (t : ℝ) (f : X → ℂ) (p : ℝ≥0∞) : eLpNorm (evol E t f) p μ = eLpNorm f p μ

Initializing...

`BookProof.ChapterEnergyBoundedEvolution.eLpNorm_evol` (t : ℝ) (f : X → ℂ) (p : ℝ≥0∞) : eLpNorm (evol E t f) p μ = eLpNorm f p μ · Prove2Me