Definitions
graph
1
1
Sections
Graphs
Doc
Some definitions of interest.
int_seg
Def
{i..j
} == {k:
| i
k < j }
Thm*
m,n:
. {m..n
}
Type
nat
Def
== {i:
| 0
i }
Thm*
Type
About:
Definitions
graph
1
1
Sections
Graphs
Doc
} == {k:
| i 
k < j }
m,n:. {m..n} 
Type
== {i:| 0i } Type} == {k:| i k < j }m,n:. {m..n} Type == {i:| 0i } Type
