PBW theorem

Redirect to:

• Poincaré–Birkhoff–Witt theorem