`BookProof.ChapterF2.hamiltonian_commutes_numberOp` : hamiltonian ∘ₗ numberOp = numberOp ∘ₗ hamiltonian

Initializing...

`BookProof.ChapterF2.hamiltonian_commutes_numberOp` : hamiltonian ∘ₗ numberOp = numberOp ∘ₗ hamiltonian · Prove2Me