`BookProof.DirectSumEsa.fockH_essentiallySelfAdjointOn` {w : ℝ → ℝ} (hw : Measurable w) : EssentiallySelfAdjointOn (fockCore w) ((fockCore w).subtype.comp (fockH hw))

Initializing...

`BookProof.DirectSumEsa.fockH_essentiallySelfAdjointOn` {w : ℝ → ℝ} (hw : Measurable w) : EssentiallySelfAdjointOn (fockCore w) ((fockCore w).subtype.comp (fockH hw)) · Prove2Me