Poincaré–Birkhoff–Witt theorem

GPTKB entity

Statements (18)