Développement : Homéomorphisme $\mathrm{exp} : \mathcal{S}_n(\mathbb{R}) \to \mathcal{S}_n^{+*}(\mathbb{R})$ et décomposition polaire

Détails/Enoncé :

Dans cette version on montre les deux résultats (la décomposition polaire est déduite de l'homéomorphisme).

Références utilisées dans les versions de ce développement :

Histoires hédonistes de groupes et géométries, Tome 1, Caldero, Germoni (utilisée dans 92 versions au total)