Utilisateur : Jaspert Werner
Développements
Développement : Inégalité de Bessel
Références :
Analyse réelle et complexe - Rudin
Développement : Principal implique factoriel
Références :
Algèbre - Lang
Cours d'algèbre - Perrin
Développement : Existence des bases, définition de la dimension
Références :
Algèbre linéaire - Grifone
Développement : Théorème de Mason
Références :
Algèbre - Lang