IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
divides anti sym11111 1. a : 2. b : 3. |a| | |b|
4. |b| | |a|
5. a,b:. |a| | |b| |b| | |a| |a| = |b|
|a| = |b|
By:
BackThru 5
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
a,b:
|b| | |a| 
|a| = |b|
