Definition:Hilbert 23/5

Whether Continuous Groups are Differential Groups
Are continuous groups automatically differential groups?