Développement : Les normes sont équivalentes dans un R-ev de dimension finie

Détails/Enoncé :

Utilise la compacité de la sphere unités

Ref: c'est fait partout, nottament dans Le Jean Pierre Marco

Recasages pour l'année 2019 :

  • Pas de recasages pour cette année.

Autres années :

Versions :