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 ? --... ») |
(Aucune différence)
|
Version du 31 mars 2015 à 15:04
On montre avec beaucoup d'efforts pour un développement, qu'un ordre de simplification et une signature finie entraînent la bien-fondaison.