`BookProof.ChapterF2.deformedHamiltonian_commutes_numberOp` (c : ℂ) : deformedHamiltonian c ∘ₗ numberOp = numberOp ∘ₗ deformedHamiltonian c

Initializing...

`BookProof.ChapterF2.deformedHamiltonian_commutes_numberOp` (c : ℂ) : deformedHamiltonian c ∘ₗ numberOp = numberOp ∘ₗ deformedHamiltonian c · Prove2Me