(5steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc
At:
l
member
decomp
1
1.
T:
Type
2.
s:
T List
3.
z:
T
4.
(z
nil)
s1,s2:T List. nil = (s1 @ [z / s2])
By:
Obvious
Generated subgoals:
None
About:
(5steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc