MarkB generic Sections NuprlLIB Doc

Def interleaving(T;L1;L2;L) == ||L|| = ||L1||+||L2|| & disjoint_sublists(T;L1;L2;L)

is mentioned

In prior sections: mb list 2


MarkB generic Sections NuprlLIB Doc