Ordre de simplification / Lemme de Highman / Théorème de Kruskal : Différence entre versions

De AgregmathKL
Aller à : navigation, rechercher
(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 à 14: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.

Recasement

Développement