(13steps)
PrintForm
Definitions
Lemmas
list
3
jlc
Sections
Support(jlc)
Doc
At:
sublist
iff
assert
sublist
2
x
T:Type, L,M:T List, eq:{T=
}. L(
eq)M
(
eq)(L,M)
By:
UnivCD
Generated subgoal:
1
1.
T:
Type
2.
L:
T List
3.
M:
T List
4.
eq:
{T=
}
L(
eq)M
(
eq)(L,M)
About:
(13steps)
PrintForm
Definitions
Lemmas
list
3
jlc
Sections
Support(jlc)
Doc
}
L(
eq)M 
(eq)(L,M)
T:Type, L,M:T List, eq:{T=}. L(eq)M (eq)(L,M)
} L(eq)M (eq)(L,M)
