Skip to main content
Share Your Experience: Take the 2024 Developer Survey

Questions tagged [restatable]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
1 answer

Restatable theorem with difference in line breaks

I have a theorem written using restatable. However, in one part of the text I am using a two-column format requiring a linebreak in the theorem. When I restate the theorem in the single column part I ...
Seraf Fej's user avatar
  • 143
1 vote
1 answer

Print certain part of a restatable theorem only the first time

I am in the standard scenario for restatable: I am using restatable to state a lemma in the short version of the paper, whose proof is given in the appendix. In the appendix, I want to restate the ...
taninamdar's user avatar