`BookProof.StrichartzWave.polynomialPotential_essentiallySelfAdjoint` (k : ℕ) : BookProof.FarisLavine.EssentiallySelfAdjointOn (schwartzDomain V) (opL2 (potentialOp (fun x : V => ‖

Initializing...

`BookProof.StrichartzWave.polynomialPotential_essentiallySelfAdjoint` (k : ℕ) : BookProof.FarisLavine.EssentiallySelfAdjointOn (schwartzDomain V) (opL2 (potentialOp (fun x : V => ‖ · Prove2Me