TY - RPRT TI - A Poincaré-Birkhoff-Witt Theorem for profinite pronilpotent Lie algebras AU - Alastair Hamilton PY - 2018 UR - https://arxiv.org/abs/1804.00254 ID - 1804.00254 ER -