WhoCites
Definitions
int
2
Sections
StandardLIB
Doc
Who Cites absval?
absval
Def
|i| == if 0
i
i else -i fi
Thm*
x:
. |x|
iff
Def
P
Q == (P
Q) & (P
Q)
Thm*
A,B:Prop. (A
B)
Prop
le_int
Def
i
j ==
j <
i
Thm*
i,j:
. i
j
rev_implies
Def
P
Q == Q
P
Thm*
A,B:Prop. (A
B)
Prop
lt_int
Def
i <
j == if i < j
true
; false
fi
Thm*
i,j:
. i <
j
bnot
Def
b == if b
false
else true
fi
Thm*
b:
.
b
About:
WhoCites
Definitions
int
2
Sections
StandardLIB
Doc