IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc sample intmod wf121 1. k : 2. a : 3. b : 4. m:. a-b = mk m:. b-a = mk
By:
Analyze-1 THEN Witness: -m
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
m:
k
