PrintForm
Definitions
grammar
1
Sections
AutomataTheory
Doc
At:
length
p
wf
1
1.
T:
Type
2.
l:
T List
||l||
By:
Analyze 2
THEN
Unfold `length_p` 0
Generated subgoals:
None
About:
||l|| 
