All Questions

I am looking for a classification of compact (not necessarily connected) Lie groups. Clearly, all such groups are extensions of a finite "component group" $\pi_0(G)$ by a compact connected ...

Let $M$ be a (Hausdorff) smooth compact manifold and $G$ a Lie group acting smoothly on $M$. If $G$ is compact then, by Mostow-Palais theorem, there exists an equivariant smooth embedding $M\to {\...

$\DeclareMathOperator\FGL{FGL}$The formal group law (cf. Wikipedia, Ex. 1.6 of nLab, Hazewinkel) derived from an analytic function or formal series $f(x) = x + a_2 x^2 + a_3 x^3 + ...$ and its formal ...

I am looking for a reference for the assertion in the title. This assertion is proved in a comment of user nfdc23 to this question. Has any proof of this assertion been published?