Local Lie group

Redirect to:

  • Pseudogroup