Theorem Matrix.exp_conj'

Modification history

2023-06-22 13:19
Mathlib/Analysis/NormedSpace/MatrixExponential.lean
feat: port Analysis.NormedSpace.MatrixExponential (#5381)
Added Matrix.exp_conj'View on Github →