WhoCites
Definitions
int
2
Sections
StandardLIB
Doc
Who Cites pm
equal?
pm_equal
Def i =
j == i = j
i = -j
Thm*
a,b:
. a =
b
Prop
Syntax:
i =
j
has structure:
pm_equal(i; j)
About:
WhoCites
Definitions
int
2
Sections
StandardLIB
Doc
j == i = j 
i = -j
a,b:. a = b Prop j == i = j i = -ja,b:. a = b Prop j
