Revision #3032 → #3556 · back to history
addedCircle group734095fab70e
addedInduced Lie algebra homomorphism from a Lie group homomorphism780834eade8e
addedExponential map is a local diffeomorphism at 059bf2fd13678
addedNaturality of the exponential map13a00b0869bc
addedExponential map is surjective for compact or nilpotent connected Lie groupsade8424b7fca
addedLie algebra of O(n,R) consists of skew-symmetric matrices655c5247ee66
addedEvery finite-dimensional real Lie algebra integrates to a unique simply connected Lie group6c387224dfea