int
2
Sections
StandardLIB
Doc
Theorem
Name
Thm*
i:
. |i| = |-i|
[absval_sym]
cites
Thm*
x,y:
. |x| = |y|
x =
y
[absval_eq]
int
2
Sections
StandardLIB
Doc
i:
. |i| = |-i|x,y:. |x| = |y| 
x = 
yi:. |i| = |-i|x,y:. |x| = |y| x = y