`BookProof.HarmonicOscillator.harmonicOsc_symmetric` : SymmetricOn hermiteCore harmonicOscOp

Initializing...

`BookProof.HarmonicOscillator.harmonicOsc_symmetric` : SymmetricOn hermiteCore harmonicOscOp · Prove2Me