`BookProof.ChapterF7.conservativeHamiltonian_l2Symmetric` (V : ℝ → ℝ) (hV : Function.HasTemperateGrowth (fun x => (V x : ℂ))) : IsL2Symmetric (Complex.I • (kinetic.comp (mulOp V hV

Initializing...

`BookProof.ChapterF7.conservativeHamiltonian_l2Symmetric` (V : ℝ → ℝ) (hV : Function.HasTemperateGrowth (fun x => (V x : ℂ))) : IsL2Symmetric (Complex.I • (kinetic.comp (mulOp V hV · Prove2Me