Développement : Topologie du groupe orthogonal euclidien et décomposition polaire (cas non inversible)

Détails/Enoncé :

Versions :

Pas de version pour ce développement.