PrintForm Definitions choice 1 Sections AutomataTheory Doc

At: min el sound 1 1 1 1 1
1. E:
2. n:
3. a:. a E a
4. Sym x,y:. x E y & Trans x,y:. x E y

E(n,n)
By: BackThru 3
Generated subgoals:

None

About:
assertapplyfunctionboolalland