`BookProof.ChapterF2.deformedHamiltonian_monomial` (c : ℂ) (n : ℕ) : deformedHamiltonian c (X ^ n) = (c * n) • X ^ n

Initializing...

`BookProof.ChapterF2.deformedHamiltonian_monomial` (c : ℂ) (n : ℕ) : deformedHamiltonian c (X ^ n) = (c * n) • X ^ n · Prove2Me