|
|
Viewing Correction to 'quantifier free'
|
unbalanced parens by mps Correction id: 1936 Filed on: 2003-05-23 07:57:38 Status: Accepted on 2003-07-25 10:52:30 Type: Meta/Minor
Correction text:
| The condition listed at the end of the entry for $\phi(\bar{x})$ has unbalanced parens. | No comment from object owner mathcam.
|
|
|
|
|
|
|
|
|
|