History: continuously differentiable groups over the real numbers

46 Views Asked by At

Continuously differentiable groups over the real numbers are all isomorphic to addition, as is well-known, but who proved it and when?