PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
n0n1
wf
1
1.
n:
n0n1(n)
*
By:
Unfold `n0n1` 0
Generated subgoals:
None
About:
n0n1(n) 
*
