PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
zero
length
imp
nil
T:Type, l:T*. ||l|| = 0
l = nil
By:
UnivCD
Generated subgoal:
1
1.
T:
Type
2.
l:
T*
3.
||l|| = 0
l = nil
About:
l = nil 
T:Type, l:T*. ||l|| = 0 
l = nil l = nil
