Definition, synonyms and related words
Any group that is a smooth manifold and whose group operations are differentiable.