Développement #755

Titre : Compacité de On(R), décomposition polaire dans Mn(R)

Contenu : - On(R) est compact\r- Décomposition polaire dans Mn(R)\r- Décompisition polaire dans GLn(R) en + si trop court\r\rPreuve dans le Carnet de Voyage en algébrie de Caldero

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42