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