Historique de la page
6 août 2020
21 avril 2020
10 septembre 2019
meftypo + ℝ^n est en fait complet pour toute norme (et pas seulement les normes ∥ ∥_p)
+32
ℝ^n est complet
+233
28 juillet 2019
14 avril 2019
1 août 2017
Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n)
m+2
Robot : Remplacement de texte automatisé (- +(:|;|\!|\?|») + \1)
m−1
23 juillet 2017
28 avril 2017
4 avril 2017
aucun résumé des modifications
m+69
→Théorèmes : lien plus précis
m+15
→Théorèmes : ce n'est pas du niveau 15 mais 16, donc détails remplacés par lien
−1 871
→Définitions : -encadré superflu + liens wikipédia
m+31
–énoncé trivialement faux
−476
→Théorèmes : ce n'est pas du niveau 15 mais 16, donc détails remplacés par lien (à poursuivre)
−300