`BookProof.ChapterF7.continuityHamiltonian_l2Symmetric` (v : ℝ → ℝ) (hv : Function.HasTemperateGrowth (fun x => (v x : ℂ))) : IsL2Symmetric (((1 : ℂ) / 2) • (momentum.comp (mulOp v

Initializing...

`BookProof.ChapterF7.continuityHamiltonian_l2Symmetric` (v : ℝ → ℝ) (hv : Function.HasTemperateGrowth (fun x => (v x : ℂ))) : IsL2Symmetric (((1 : ℂ) / 2) • (momentum.comp (mulOp v · Prove2Me