`BookProof.HarmonicOscillator.harmonicOsc_essentiallySelfAdjoint` : EssentiallySelfAdjointOn hermiteCore harmonicOscOp

Initializing...

`BookProof.HarmonicOscillator.harmonicOsc_essentiallySelfAdjoint` : EssentiallySelfAdjointOn hermiteCore harmonicOscOp · Prove2Me