`BookProof.ChapterSymmetryRep.timeEvoRep_apply` (H : Matrix n n ℂ) (hH : H.IsHermitian) (t : ℝ) : (timeEvoRep H hH (Multiplicative.ofAdd t) : Matrix n n ℂ) = timeEvo H t

Initializing...

`BookProof.ChapterSymmetryRep.timeEvoRep_apply` (H : Matrix n n ℂ) (hH : H.IsHermitian) (t : ℝ) : (timeEvoRep H hH (Multiplicative.ofAdd t) : Matrix n n ℂ) = timeEvo H t · Prove2Me