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