(2steps)
PrintForm
Definitions
list
3
jlc
Sections
Support(jlc)
Doc
At:
apply
wf
sublist
2
T:Type, L,M:T List, eq:(T
T
). (
eq)(L,M)
By:
UnivCD
Generated subgoal:
1
1.
T:
Type
2.
L:
T List
3.
M:
T List
4.
eq:
T
T
(
eq)(L,M)
About:
(2steps)
PrintForm
Definitions
list
3
jlc
Sections
Support(jlc)
Doc
T
(
eq)(L,M) 
T:Type, L,M:T List, eq:(TT). (eq)(L,M)
T (eq)(L,M) 
