`BookProof.StrichartzWave.polyharmonic_multiplier_essentiallySelfAdjoint` (k : ℕ) : BookProof.FarisLavine.EssentiallySelfAdjointOn (schwartzDomain V) (opL2 (multiplierOp (fun ξ : V

Initializing...

`BookProof.StrichartzWave.polyharmonic_multiplier_essentiallySelfAdjoint` (k : ℕ) : BookProof.FarisLavine.EssentiallySelfAdjointOn (schwartzDomain V) (opL2 (multiplierOp (fun ξ : V · Prove2Me