{restatable} Theorem word is broken
- Dominant language
- No language data
- Stars
- 42
- Forks
- 40
- PR merge metrics
- No merged PRs in 30d
Description
### Description
Naked tags, absent word "theorem".
`Definition`, `Observation`, `Problem` and `Conjecture` rendered fine, while `Theorem` did not.
### (Optional:) Please add any files, screenshots, or other information here.
PDF:
HTML:
### (Required) What is this issue most closely related to? Select one.
Formula
### Internal issue ID
51d56aa1-53fd-4407-bf86-2ba724e13720
### Paper URL
https://arxiv.org/html/2510.19804v1
### Browser
Firefox/144.0
### Device Type
Desktop
Contributor guide
Research direction
Open the paper at the linked arXiv URL and compare its PDF and HTML outputs, focusing on the restatable theorem. First reproduce the missing “theorem” word and naked tags in Firefox; done means the theorem renders its word and tags consistently with Definition, Observation, Problem, and Conjecture.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- latex
- Domain
- frontend
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100