Formalizace věty Lyndona a Schützenbergera
Conditions d'achèvement
Formalizace poměrně těsně sleduje výše uvedený důkaz ze skript.
Cliquer le lien CoWLyndonSchutzenberger.thy pour afficher le fichier.