Corollary

Tag 0C0A, permanent. Cite it as [Bourbaki, Tag 0C0A].

The multiplicative group $C^*$ of non-zero complex numbers is isomorphic to the group $\mathbf{R} \times T$ (cf. § 1, no. 3, Proposition 1).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.