feat: quantum harmonic oscillator#1182

bjoernkjoshanssen wants to merge 6 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

bjoernkjoshanssen:masterbjoernkjoshanssen/physlib:masterCopy head branch name to clipboard