(4steps total)
PrintForm
Definitions
Lemmas
PrimesSquareRoots
Sections
DiscrMathExt
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
prime
divides
square
2
1.
a
:
2. prime(
a
)
3.
x
:
4.
a
|
x
a
|
x
x
By:
BackThru:
Thm*
a
,
b
,
c
:
.
a
|
b
a
|
b
c
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(4steps total)
PrintForm
Definitions
Lemmas
PrimesSquareRoots
Sections
DiscrMathExt
Doc
a | x
x
a | xx
a,b,c:. a | b 
a | bc
