IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
gcd of triple1 1. a :
2. b :
3. c :
4. x :
5. y :
6. x | a & x | b & (z:. z | a & z | bz | x)
7. y | x & y | c & (z:. z | x & z | cz | y)
y | a & y | b & y | c
By:
GenRepD THEN RelRST
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html