[doublon : Les normes sont équivalentes dans un R-ev de dimension finie]

[Doublon de https://agreg-maths.fr/developpements/1059]\r\rUtilise la compacité de la sphere unités\r\rRef: c'est fait partout, nottament dans Le Jean Pierre Marco
Qualité Numéro Titre
Rajouter une version