The matrix exponential todo Connection to Lie theory If is a matrix Lie algebra, then the matrix exponential is the exponential map for . Proof todo