Restateable theorem not rendered correctly

### Description

The first theorem in this paper used a restateble theorem. It is clearly not rendering correctly

### (Optional:) Please add any files, screenshots, or other information here.

_No response_

### (Required) What is this issue most closely related to? Select one.

Other

### Internal issue ID

f34dceb5-8190-4a14-8456-c85b982f6bf5

### Paper URL

https://arxiv.org/html/2606.04297v1

### Browser

Chrome/148.0.0.0

### Device Type

Desktop

Open the linked arXiv HTML paper in Chrome and inspect the first restateable theorem to identify what is rendered incorrectly. Trace that output back through the html_feedback project, then verify that the theorem renders correctly in the paper while preserving the intended restatement.

Written by the indexing model from the issue text.