`BookProof.MixedLinearEsa.polyPotential_add_momentum_essentiallySelfAdjoint` (c : ℕ → ℝ) (n : ℕ) {m : V} (hm : m ≠ 0) : EssentiallySelfAdjointOn (schwartzDomain V) (opL2 (potMomOp

Initializing...

`BookProof.MixedLinearEsa.polyPotential_add_momentum_essentiallySelfAdjoint` (c : ℕ → ℝ) (n : ℕ) {m : V} (hm : m ≠ 0) : EssentiallySelfAdjointOn (schwartzDomain V) (opL2 (potMomOp · Prove2Me