graph 1 3 Sections Graphs Doc

Def L1 L2 == f:(||L1||||L2||). increasing(f;||L1||) & (j:||L1||. L1[j] = L2[(f(j))] T)

is mentioned

In prior sections: mb list 1 mb list 2 graph 1 1

Try larger context: Graphs

graph 1 3 Sections Graphs Doc