`BookProof.ChapterSpectralEnergyBound.norm_evolve` (f : n → ℝ) (t : ℝ) (v : EuclideanSpace ℂ n) : ‖evolve f t v‖ = ‖v‖

Initializing...

`BookProof.ChapterSpectralEnergyBound.norm_evolve` (f : n → ℝ) (t : ℝ) (v : EuclideanSpace ℂ n) : ‖evolve f t v‖ = ‖v‖ · Prove2Me