`BookProof.ChapterSpectralEnergyBound.evolve_support` (f : n → ℝ) (t : ℝ) (v : EuclideanSpace ℂ n) (i : n) (h : evolve f t v i ≠ 0) : v i ≠ 0

Initializing...

`BookProof.ChapterSpectralEnergyBound.evolve_support` (f : n → ℝ) (t : ℝ) (v : EuclideanSpace ℂ n) (i : n) (h : evolve f t v i ≠ 0) : v i ≠ 0 · Prove2Me