Ordre de simplification / Lemme de Highman / Théorème de Kruskal : Différence entre versions
De AgregmathKL
(Page créée avec « On montre avec beaucoup d'efforts pour un développement, qu'un ordre de simplification et une signature finie entraînent la bien-fondaison. ==Recasement== * 919 ? --... ») |
(→Développement) |
||
Ligne 10 : | Ligne 10 : | ||
+ | *[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_ordre_de_simplifaction.pdf | Ordre de simplifcation]] | ||
[[Category: Développement de la leçon 920]] | [[Category: Développement de la leçon 920]] |
Version actuelle en date du 31 mars 2015 à 15:12
On montre avec beaucoup d'efforts pour un développement, qu'un ordre de simplification et une signature finie entraînent la bien-fondaison.