`BookProof.ChapterEnergyBoundedEvolution.norm_evol_apply` (t : ℝ) (f : X → ℂ) (x : X) : ‖evol E t f x‖ = ‖f x‖

Initializing...

`BookProof.ChapterEnergyBoundedEvolution.norm_evol_apply` (t : ℝ) (f : X → ℂ) (x : X) : ‖evol E t f x‖ = ‖f x‖ · Prove2Me