TY - RPRT TI - Poincaré's Proof of the so-called Birkhoff-Witt Theorem AU - Tuong Ton-That AU - Thai-Duong Tran PY - 2000 UR - https://arxiv.org/abs/math/9908139 ID - math/9908139 ER -