`BookProof.HermiteStrichartzQG.oscillator_essentiallySelfAdjoint_on_hermiteCore` : EssentiallySelfAdjointOn hermiteCore (hermiteCoreOp oscillatorSymbol)

Initializing...

`BookProof.HermiteStrichartzQG.oscillator_essentiallySelfAdjoint_on_hermiteCore` : EssentiallySelfAdjointOn hermiteCore (hermiteCoreOp oscillatorSymbol) · Prove2Me