Definitions
graph
1
1
Sections
Graphs
Doc
Some definitions of interest.
absval
Def
|i| == if 0
i
i else -i fi
Thm*
x:
. |x|
not
Def
A == A
False
Thm*
A:Prop. (
A)
Prop
About:
Definitions
graph
1
1
Sections
Graphs
Doc
i
i else -i fi
x:
. |x| 
A == A 
FalseA:Prop. (A) Propi i else -i fix:. |x| A == A FalseA:Prop. (A) Prop
