Definitions
graph
1
1
Sections
Graphs
Doc
Some definitions of interest.
absval
Def
|i| == if 0
i
i else -i fi
Thm*
x:
. |x|
int_nzero
Def
== {i:
| i
0 }
Thm*
Type
About:
Definitions
graph
1
1
Sections
Graphs
Doc
i
i else -i fi
x:
. |x| 
== {i:| i 
0 } Typei i else -i fix:. |x| == {i:| i 0 } Type
