Ordre de simplification / Lemme de Highman / Théorème de Kruskal

De AgregmathKL
Aller à : navigation, rechercher

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

Développement