PrintForm Definitions languages Sections AutomataTheory Doc

At: lang closure functionality 1 1 1 1
1. Alph: Type
2. L: LangOver(Alph)
3. L': LangOver(Alph)
4. L = L'

l:Alph*. (n:. (L'n)(l)) (n:. (L'n)(l))
By:
Auto
THEN
Fold `languages` 0
Generated subgoals:

None

About:
alllistexistsapplyuniverse