Theorem Matrix.IsHermitian.exp

Modification history

2023-06-22 13:19

Mathlib/Analysis/NormedSpace/MatrixExponential.lean

feat: port Analysis.NormedSpace.MatrixExponential (#5381)

Added Matrix.IsHermitian.exp View on Github →