Theorem Matrix.exp_conjTranspose

Modification history

2023-06-22 13:19

Mathlib/Analysis/NormedSpace/MatrixExponential.lean

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

Added Matrix.exp_conjTranspose View on Github →