graph
1
1
Sections
Graphs
Doc
Rank
Theorem
Name
2
Thm*
i,j,k:
. (k
upto(i;j))
i
k & k < j
[member_upto]
cites
1
Thm*
l:T List, a,x:T. (x
[a / l])
x = a
(x
l)
[cons_member]
graph
1
1
Sections
Graphs
Doc
i,j,k:
. (k 
upto(i;j)) 
i
k & k < jl:T List, a,x:T. (x [a / l]) x = a 
(x l)i,j,k:. (k upto(i;j)) ik & k < jl:T List, a,x:T. (x [a / l]) x = a (x l)