`BookProof.ChapterG.dampedFlow_zero` (M : Matrix (Fin 4) (Fin 4) ℝ) : NormedSpace.exp ((0 : ℝ) • M) = 1

Initializing...

`BookProof.ChapterG.dampedFlow_zero` (M : Matrix (Fin 4) (Fin 4) ℝ) : NormedSpace.exp ((0 : ℝ) • M) = 1 · Prove2Me