Graphs Sections NuprlLIB Doc

Def l_disjoint(T;l1;l2) == x:T. ((x l1) & (x l2))

is mentioned

In prior sections: graph 1 1 graph 1 3


Graphs Sections NuprlLIB Doc