Theorem numbers
- Dominant language
- No language data
- Stars
- 42
- Forks
- 40
- PR merge metrics
- No merged PRs in 30d
Description
### Description
The HTML version has "thelemma" as theorem numbers.
### (Optional:) Please add any files, screenshots, or other information here.
_No response_
### (Required) What is this issue most closely related to? Select one.
Choose One
### Internal issue ID
5b4ee468-5277-4036-9f15-1c72e0aadf6f
### Paper URL
https://services.arxiv.org/html/submission/6699382/view
https://arxiv.org/html/2508.08085v1
### Browser
Firefox/135.0
### Device Type
Desktop
Contributor guide
Research direction
Open the rendered paper at the two URLs and inspect how theorem labels are displayed in Firefox. Trace the rendering path for the affected theorem and compare the displayed label with the source paper; done means the HTML view shows the intended theorem number rather than "thelemma".
Written by the indexing model from the issue text.
Assessment
- Tech stack
- html
- Domain
- frontend
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100