GenAutomata
Sections
NuprlLIB
Doc
Def
sublist_occurence(T;L1;L2;f) == increasing(f;||L1||) & (
j:
||L1||. L1[j] = L2[(f(j))]
T)
is mentioned
In prior sections:
mb
list
1
GenAutomata
Sections
NuprlLIB
Doc
j:
||L1||. L1[j] = L2[(f(j))] 
T)