Definitions
graph
1
1
Sections
Graphs
Doc
Some definitions of interest.
le
Def
A
B ==
B < A
Thm*
i,j:
. (i
j)
Prop
upto
Def
upto(i;j) == if i <
j
[i / upto(i+1;j)] else nil fi (recursive)
Thm*
i,j:
. upto(i;j)
{i..j
} List
About:
Definitions
graph
1
1
Sections
Graphs
Doc