`BookProof.ChapterBornMeasure.norm_evolve` (H : Lp ℂ 2 μ →L[ℂ] Lp ℂ 2 μ) (hH : IsSelfAdjoint H) (t : ℝ) (psi : Lp ℂ 2 μ) : ‖evolve H t psi‖ = ‖psi‖

Initializing...

`BookProof.ChapterBornMeasure.norm_evolve` (H : Lp ℂ 2 μ →L[ℂ] Lp ℂ 2 μ) (hH : IsSelfAdjoint H) (t : ℝ) (psi : Lp ℂ 2 μ) : ‖evolve H t psi‖ = ‖psi‖ · Prove2Me