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

Initializing...

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