[nb] Commit

This commit is contained in:
Oscar Plaisant
2024-12-26 16:09:08 +01:00
parent 5970fc70c1
commit 29453462f9
177 changed files with 881 additions and 31552 deletions

View File

@@ -9,5 +9,3 @@ title:: "on peut toujours compléter une famille libre pour obtenir une base"
> Soit $F \subset E$ une [[famille de vecteurs libre|famille libre]] de $E$
> On peut toujours ajouter un nombre fini de vecteurs à $F$ pour que $F$ devienne une base de $E$
^definition
- [ ] #todo ajouter flashcard