PrintForm Definitions languages Sections AutomataTheory Doc

At: lang power functionality 1 1 1 1 1 1 1 1

1. Alph: Type
2. L: LangOver(Alph)
3. L': LangOver(Alph)
4. n':
5. L = L'
6. 0 = 0
7. 0 = 0
8. l: Alph*

(l.null(l))(l) (l.null(l))(l)

By: Reduce 0

Generated subgoals:

None


About:
applylambdaassertuniverseequalintnatural_numberlist