workspace_get_external_result_mentions
Retrieve external result mentions cited in a theorem's proof evidence to identify dependencies and references within mathematical papers.
Instructions
Return external result mentions from a result's proof evidence.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |