Formalizace věty Lyndona a Schützenbergera
Požadavky na absolvování
Formalizace poměrně těsně sleduje výše uvedený důkaz ze skript.
Klikněte na odkaz CoWLyndonSchutzenberger.thy pro zobrazení souboru.