A Poincar\'e-Birkhoff-Witt Theorem for profinite pronilpotent Lie algebras

We prove a version of the Poincar'e-Birkhoff-Witt Theorem for profinite pronilpotent Lie algebras in which their symmetric and universal enveloping algebras are replaced with appropriate formal analogues and discuss some immediate corollaries of this result.