Problem with expand, all restatable theorems points to the same theorem The 2019 Stack Overflow Developer Survey Results Are InHow to cross-reference theorems with “Theorem”?Theorem numbering with sub-theorems issueFormatting theorems with drop-cap'd theorem numbersProblem with theorem numberingNumber theorems with subsections: “Theorem 1.2.3.4”Listing all theorems using a specific theoremReferencing theorems (while including the theorem caption)Execute condition in “last” environment typeset of it's typeProblem with theorems numerationUltimate proof at the end: different sections, with references to proof/theorem, restate, and synctex
Is Cinnamon a desktop environment or a window manager? (Or both?)
Is bread bad for ducks?
If climate change impact can be observed in nature, has that had any effect on rural, i.e. farming community, perception of the scientific consensus?
What is this sharp, curved notch on my knife for?
Is it ok to offer lower paid work as a trial period before negotiating for a full-time job?
Ubuntu Server install with full GUI
"as much details as you can remember"
What to do when moving next to a bird sanctuary with a loosely-domesticated cat?
How to quickly solve partial fractions equation?
How can I have a shield and a way of attacking with a ranged weapon at the same time?
Why is this code so slow?
Is it ethical to upload a automatically generated paper to a non peer-reviewed site as part of a larger research?
Keeping a retro style to sci-fi spaceships?
How can I define good in a religion that claims no moral authority?
Why are there uneven bright areas in this photo of black hole?
Old scifi movie from the 50s or 60s with men in solid red uniforms who interrogate a spy from the past
What does もの mean in this sentence?
Kerning for subscripts of sigma?
Falsification in Math vs Science
Why does the nucleus not repel itself?
How to type a long/em dash `—`
What can I do if neighbor is blocking my solar panels intentionally
How did passengers keep warm on sail ships?
Does adding complexity mean a more secure cipher?
Problem with expand, all restatable theorems points to the same theorem
The 2019 Stack Overflow Developer Survey Results Are InHow to cross-reference theorems with “Theorem”?Theorem numbering with sub-theorems issueFormatting theorems with drop-cap'd theorem numbersProblem with theorem numberingNumber theorems with subsections: “Theorem 1.2.3.4”Listing all theorems using a specific theoremReferencing theorems (while including the theorem caption)Execute condition in “last” environment typeset of it's typeProblem with theorems numerationUltimate proof at the end: different sections, with references to proof/theorem, restate, and synctex
I'm trying to manually do a small script that let me put proofs at the end, restate theorem... But I'm having some troubles with the restate, because all the theorems have the same name, so when I want to restate them at the end all of them have the same name. Indeed, I wrote in a function:
edefnamerestateprAtEndRestateromancounterAllProofEnd
beginrestatable#2namerestatelabelthm:prAtEndthecounterAllProofEnd
#4
endrestatable
and in my code:
prAtEndRestatei*
prAtEndRestateii*
But the two theorems that are displayed are exactly the same (the last theorem written)!
Any idea what's going wrong?
MWE:
documentclassarticle
usepackagemathtools
usepackageamssymb, amsthm, amsmath, thm-restate
usepackagethmtools %%
usepackagehyperref
usepackageetoolbox
newtheoremthmTheorem[section]
providecommand*thmautorefnameTheorem
newtheoremcorollary[thm]Corollary
providecommand*corollaryautorefnameCorollary
newtheoremlemma[thm]Lemma
providecommand*lemmaautorefnameLemma
begindocument
sectionManual theorems
edefnamerestatemanualtheoremi
beginrestatablethmnamerestate
My first manual theorem
endrestatable
edefnamerestatemanualtheoremii
beginrestatablethmnamerestate
My second manual theorem
endrestatable
Restitution:
manualtheoremi*
manualtheoremii*
enddocument
theorems expansion
asked 18 mins ago
tobiasBoratobiasBora
1,293315
add a comment |
I'm trying to manually do a small script that let me put proofs at the end, restate theorem... But I'm having some troubles with the restate, because all the theorems have the same name, so when I want to restate them at the end all of them have the same name. Indeed, I wrote in a function:
edefnamerestateprAtEndRestateromancounterAllProofEnd
beginrestatable#2namerestatelabelthm:prAtEndthecounterAllProofEnd
#4
endrestatable
and in my code:
prAtEndRestatei*
prAtEndRestateii*
But the two theorems that are displayed are exactly the same (the last theorem written)!
Any idea what's going wrong?
MWE:
documentclassarticle
usepackagemathtools
usepackageamssymb, amsthm, amsmath, thm-restate
usepackagethmtools %%
usepackagehyperref
usepackageetoolbox
newtheoremthmTheorem[section]
providecommand*thmautorefnameTheorem
newtheoremcorollary[thm]Corollary
providecommand*corollaryautorefnameCorollary
newtheoremlemma[thm]Lemma
providecommand*lemmaautorefnameLemma
begindocument
sectionManual theorems
edefnamerestatemanualtheoremi
beginrestatablethmnamerestate
My first manual theorem
endrestatable
edefnamerestatemanualtheoremii
beginrestatablethmnamerestate
My second manual theorem
endrestatable
Restitution:
manualtheoremi*
manualtheoremii*
enddocument
theorems expansion
asked 18 mins ago
tobiasBoratobiasBora
1,293315
add a comment |
I'm trying to manually do a small script that let me put proofs at the end, restate theorem... But I'm having some troubles with the restate, because all the theorems have the same name, so when I want to restate them at the end all of them have the same name. Indeed, I wrote in a function:
edefnamerestateprAtEndRestateromancounterAllProofEnd
beginrestatable#2namerestatelabelthm:prAtEndthecounterAllProofEnd
#4
endrestatable
and in my code:
prAtEndRestatei*
prAtEndRestateii*
But the two theorems that are displayed are exactly the same (the last theorem written)!
Any idea what's going wrong?
MWE:
documentclassarticle
usepackagemathtools
usepackageamssymb, amsthm, amsmath, thm-restate
usepackagethmtools %%
usepackagehyperref
usepackageetoolbox
newtheoremthmTheorem[section]
providecommand*thmautorefnameTheorem
newtheoremcorollary[thm]Corollary
providecommand*corollaryautorefnameCorollary
newtheoremlemma[thm]Lemma
providecommand*lemmaautorefnameLemma
begindocument
sectionManual theorems
edefnamerestatemanualtheoremi
beginrestatablethmnamerestate
My first manual theorem
endrestatable
edefnamerestatemanualtheoremii
beginrestatablethmnamerestate
My second manual theorem
endrestatable
Restitution:
manualtheoremi*
manualtheoremii*
enddocument
theorems expansion
asked 18 mins ago
tobiasBoratobiasBora
1,293315
I'm trying to manually do a small script that let me put proofs at the end, restate theorem... But I'm having some troubles with the restate, because all the theorems have the same name, so when I want to restate them at the end all of them have the same name. Indeed, I wrote in a function:
edefnamerestateprAtEndRestateromancounterAllProofEnd
beginrestatable#2namerestatelabelthm:prAtEndthecounterAllProofEnd
#4
endrestatable
and in my code:
prAtEndRestatei*
prAtEndRestateii*
But the two theorems that are displayed are exactly the same (the last theorem written)!
Any idea what's going wrong?
MWE:
documentclassarticle
usepackagemathtools
usepackageamssymb, amsthm, amsmath, thm-restate
usepackagethmtools %%
usepackagehyperref
usepackageetoolbox
newtheoremthmTheorem[section]
providecommand*thmautorefnameTheorem
newtheoremcorollary[thm]Corollary
providecommand*corollaryautorefnameCorollary
newtheoremlemma[thm]Lemma
providecommand*lemmaautorefnameLemma
begindocument
sectionManual theorems
edefnamerestatemanualtheoremi
beginrestatablethmnamerestate
My first manual theorem
endrestatable
edefnamerestatemanualtheoremii
beginrestatablethmnamerestate
My second manual theorem
endrestatable
Restitution:
manualtheoremi*
manualtheoremii*
enddocument
theorems expansion
theorems expansion
asked 18 mins ago
tobiasBoratobiasBora
1,293315
asked 18 mins ago
tobiasBoratobiasBora
1,293315
edited 13 mins ago
tobiasBora
asked 18 mins ago
tobiasBoratobiasBora
1,293315
asked 18 mins ago
tobiasBoratobiasBora
1,293315
asked 18 mins ago
tobiasBoratobiasBora
1,293315
1,293315
add a comment |
add a comment |
0
active
oldest
votes
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "85"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f484442%2fproblem-with-expand-all-restatable-theorems-points-to-the-same-theorem%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to TeX - LaTeX Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f484442%2fproblem-with-expand-all-restatable-theorems-points-to-the-same-theorem%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
