Definition:Lie Theory/Historical Note