PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
en
surj
1
1
1
1.
n:
2.
k:
1
l:
n*. ||l|| = 0 & en(l) = k
By:
Witness nil
Generated subgoal:
1
||nil|| = 0 & en(nil) = k
About:
||nil|| = 0 & en(nil) = k
1 
l:n*. ||l|| = 0 & en(l) = k ||nil|| = 0 & en(nil) = k
