Notes for AKT-090929/0:09:24

Theorem (Milnor-Moore): A graded, connected, co-commutative bialgebra is the universal enveloping algebra of its space of primitives:

${\mathcal {A}}=U({\mathcal {P}}({\mathcal {A}}))$

(A proof is given here.)