Poincaré–Birkhoff–Witt theorem
9166
default
Zoom value: 1.0