`BookProof.ChapterConservative.timeEvo_add` (H : Matrix n n ℂ) (s t : ℝ) : timeEvo H s * timeEvo H t = timeEvo H (s + t)

Initializing...

`BookProof.ChapterConservative.timeEvo_add` (H : Matrix n n ℂ) (s t : ℝ) : timeEvo H s * timeEvo H t = timeEvo H (s + t) · Prove2Me