The Milnor-Moore theorem, primitives, the map A r → A {\displaystyle {\mathcal {A}}^{r}\to {\mathcal {A}}} .
