graph 1 1 Sections Graphs Doc

RankTheoremName
3 Thm* a,b,c:T List. l_disjoint(T;a @ b;c) l_disjoint(T;a;c) & l_disjoint(T;b;c)[l_disjoint_append]
cites
2 Thm* x:T, l1,l2:T List. (x l1 @ l2) (x l1) (x l2)[member_append]

graph 1 1 Sections Graphs Doc