`BookProof.ChapterConservative.timeEvo_commute` (H : Matrix n n ℂ) (s t : ℝ) : Commute ((s : ℂ) • (Complex.I • H)) ((t : ℂ) • (Complex.I • H))

Initializing...

`BookProof.ChapterConservative.timeEvo_commute` (H : Matrix n n ℂ) (s t : ℝ) : Commute ((s : ℂ) • (Complex.I • H)) ((t : ℂ) • (Complex.I • H)) · Prove2Me