int
2
Sections
StandardLIB
Doc
Def
a
b
T ==
a = b
T
is mentioned by
Thm*
a,b:
. a
0
b
0
a
b
0
[int_entire_a]
In prior sections:
int
1
bool
1
Try larger context:
StandardLIB
int
2
Sections
StandardLIB
Doc
a,b:
. a 
0 
b 0 a
b 0 b 
T == 
a = b T
a,b:. a 0 b 0 ab 0