MarkB
generic
Sections
NuprlLIB
Doc
Def
l_disjoint(T;l1;l2) ==
x:T.
((x
l1) & (x
l2))
No mentions to report in MarkB_generic.
MarkB
generic
Sections
NuprlLIB
Doc
x:T. 
((x 
l1) & (x l2))