`BookProof.ChapterG.dampedFlow_add` (M : Matrix (Fin 4) (Fin 4) ℝ) (s t : ℝ) : NormedSpace.exp ((s + t) • M) = NormedSpace.exp (s • M) * NormedSpace.exp (t • M)

Initializing...

`BookProof.ChapterG.dampedFlow_add` (M : Matrix (Fin 4) (Fin 4) ℝ) (s t : ℝ) : NormedSpace.exp ((s + t) • M) = NormedSpace.exp (s • M) * NormedSpace.exp (t • M) · Prove2Me