Why would one number theorems, propositions and lemmas separately?Should one use “above” and “below” in mathematical writing?Examples and importance of Embedding (and Non-Embedding) TheoremsWhy should one still teach Riemann integration?Two different theorems but only one fact?13 months and not even one report. what would you do?What are good ways to present proofs of theorems requiring auxiliary lemmas?What are some deep theorems, and why are they considered deep?What is the correct preposition? (And is there one?)Why should one subscribe to print JournalsWould mathematics be different if not written one-dimensionally?
Why would one number theorems, propositions and lemmas separately?
Should one use “above” and “below” in mathematical writing?Examples and importance of Embedding (and Non-Embedding) TheoremsWhy should one still teach Riemann integration?Two different theorems but only one fact?13 months and not even one report. what would you do?What are good ways to present proofs of theorems requiring auxiliary lemmas?What are some deep theorems, and why are they considered deep?What is the correct preposition? (And is there one?)Why should one subscribe to print JournalsWould mathematics be different if not written one-dimensionally?
$begingroup$
When it comes to numbering results in a mathematical publication, I'm aware of two methods:
Joint numbering: Thm. 1, Prop. 2, Thm. 3, Lem. 4, etc.
Separate numbering: Thm. 1, Prop. 1, Thm. 2, Lem. 1, etc.
Every piece of writting advice I have encountered advocates the use of 1. over 2., the rationale being that it makes it easier to find the result based on the number. It seems that 1. is more popular than 2., although 2. still exists, especially in books. I can only imagine that people using 2. must have a reason, but I have not yet to encounter one. I hope it is not too opinion-based to ask:
What is the rationale for separately numbering theorems, propositions and lemmas, like in 2.?"
soft-question mathematical-writing
$endgroup$
|
show 9 more comments
$begingroup$
When it comes to numbering results in a mathematical publication, I'm aware of two methods:
Joint numbering: Thm. 1, Prop. 2, Thm. 3, Lem. 4, etc.
Separate numbering: Thm. 1, Prop. 1, Thm. 2, Lem. 1, etc.
Every piece of writting advice I have encountered advocates the use of 1. over 2., the rationale being that it makes it easier to find the result based on the number. It seems that 1. is more popular than 2., although 2. still exists, especially in books. I can only imagine that people using 2. must have a reason, but I have not yet to encounter one. I hope it is not too opinion-based to ask:
What is the rationale for separately numbering theorems, propositions and lemmas, like in 2.?"
soft-question mathematical-writing
$endgroup$
5
$begingroup$
The reader may quickly count the theorems in your paper.
$endgroup$
– Fedor Petrov
Aug 2 at 22:32
12
$begingroup$
If a short paper has three main results, the second of which has a long proof with five lemmas, then Thm. 1, Thm. 2, Lem. 1-5, Thm. 3 makes total sense.
$endgroup$
– François G. Dorais♦
Aug 2 at 22:33
16
$begingroup$
I have always assumed that most people using method 2 haven't really thought about it and are just letting LaTeX get away with its default behavior. To make LaTeX use method 1 you have to explicitly tell it to use the same counter for all results.
$endgroup$
– Mike Shulman
Aug 2 at 22:56
4
$begingroup$
In the numbering method 1, maybe I would antepone the number: 1-Thm. , 2-Prop., 3-Thm., 4-Lem. , etc.
$endgroup$
– Pietro Majer
Aug 3 at 8:39
3
$begingroup$
What about hashing the theorem content? Something like theorem 1987568324010.
$endgroup$
– J. Fabian Meier
Aug 3 at 11:40
|
show 9 more comments
$begingroup$
When it comes to numbering results in a mathematical publication, I'm aware of two methods:
Joint numbering: Thm. 1, Prop. 2, Thm. 3, Lem. 4, etc.
Separate numbering: Thm. 1, Prop. 1, Thm. 2, Lem. 1, etc.
Every piece of writting advice I have encountered advocates the use of 1. over 2., the rationale being that it makes it easier to find the result based on the number. It seems that 1. is more popular than 2., although 2. still exists, especially in books. I can only imagine that people using 2. must have a reason, but I have not yet to encounter one. I hope it is not too opinion-based to ask:
What is the rationale for separately numbering theorems, propositions and lemmas, like in 2.?"
soft-question mathematical-writing
$endgroup$
When it comes to numbering results in a mathematical publication, I'm aware of two methods:
Joint numbering: Thm. 1, Prop. 2, Thm. 3, Lem. 4, etc.
Separate numbering: Thm. 1, Prop. 1, Thm. 2, Lem. 1, etc.
Every piece of writting advice I have encountered advocates the use of 1. over 2., the rationale being that it makes it easier to find the result based on the number. It seems that 1. is more popular than 2., although 2. still exists, especially in books. I can only imagine that people using 2. must have a reason, but I have not yet to encounter one. I hope it is not too opinion-based to ask:
What is the rationale for separately numbering theorems, propositions and lemmas, like in 2.?"
soft-question mathematical-writing
soft-question mathematical-writing
asked Aug 2 at 22:26
community wiki
Jakub Konieczny
5
$begingroup$
The reader may quickly count the theorems in your paper.
$endgroup$
– Fedor Petrov
Aug 2 at 22:32
12
$begingroup$
If a short paper has three main results, the second of which has a long proof with five lemmas, then Thm. 1, Thm. 2, Lem. 1-5, Thm. 3 makes total sense.
$endgroup$
– François G. Dorais♦
Aug 2 at 22:33
16
$begingroup$
I have always assumed that most people using method 2 haven't really thought about it and are just letting LaTeX get away with its default behavior. To make LaTeX use method 1 you have to explicitly tell it to use the same counter for all results.
$endgroup$
– Mike Shulman
Aug 2 at 22:56
4
$begingroup$
In the numbering method 1, maybe I would antepone the number: 1-Thm. , 2-Prop., 3-Thm., 4-Lem. , etc.
$endgroup$
– Pietro Majer
Aug 3 at 8:39
3
$begingroup$
What about hashing the theorem content? Something like theorem 1987568324010.
$endgroup$
– J. Fabian Meier
Aug 3 at 11:40
|
show 9 more comments
5
$begingroup$
The reader may quickly count the theorems in your paper.
$endgroup$
– Fedor Petrov
Aug 2 at 22:32
12
$begingroup$
If a short paper has three main results, the second of which has a long proof with five lemmas, then Thm. 1, Thm. 2, Lem. 1-5, Thm. 3 makes total sense.
$endgroup$
– François G. Dorais♦
Aug 2 at 22:33
16
$begingroup$
I have always assumed that most people using method 2 haven't really thought about it and are just letting LaTeX get away with its default behavior. To make LaTeX use method 1 you have to explicitly tell it to use the same counter for all results.
$endgroup$
– Mike Shulman
Aug 2 at 22:56
4
$begingroup$
In the numbering method 1, maybe I would antepone the number: 1-Thm. , 2-Prop., 3-Thm., 4-Lem. , etc.
$endgroup$
– Pietro Majer
Aug 3 at 8:39
3
$begingroup$
What about hashing the theorem content? Something like theorem 1987568324010.
$endgroup$
– J. Fabian Meier
Aug 3 at 11:40
5
5
$begingroup$
The reader may quickly count the theorems in your paper.
$endgroup$
– Fedor Petrov
Aug 2 at 22:32
$begingroup$
The reader may quickly count the theorems in your paper.
$endgroup$
– Fedor Petrov
Aug 2 at 22:32
12
12
$begingroup$
If a short paper has three main results, the second of which has a long proof with five lemmas, then Thm. 1, Thm. 2, Lem. 1-5, Thm. 3 makes total sense.
$endgroup$
– François G. Dorais♦
Aug 2 at 22:33
$begingroup$
If a short paper has three main results, the second of which has a long proof with five lemmas, then Thm. 1, Thm. 2, Lem. 1-5, Thm. 3 makes total sense.
$endgroup$
– François G. Dorais♦
Aug 2 at 22:33
16
16
$begingroup$
I have always assumed that most people using method 2 haven't really thought about it and are just letting LaTeX get away with its default behavior. To make LaTeX use method 1 you have to explicitly tell it to use the same counter for all results.
$endgroup$
– Mike Shulman
Aug 2 at 22:56
$begingroup$
I have always assumed that most people using method 2 haven't really thought about it and are just letting LaTeX get away with its default behavior. To make LaTeX use method 1 you have to explicitly tell it to use the same counter for all results.
$endgroup$
– Mike Shulman
Aug 2 at 22:56
4
4
$begingroup$
In the numbering method 1, maybe I would antepone the number: 1-Thm. , 2-Prop., 3-Thm., 4-Lem. , etc.
$endgroup$
– Pietro Majer
Aug 3 at 8:39
$begingroup$
In the numbering method 1, maybe I would antepone the number: 1-Thm. , 2-Prop., 3-Thm., 4-Lem. , etc.
$endgroup$
– Pietro Majer
Aug 3 at 8:39
3
3
$begingroup$
What about hashing the theorem content? Something like theorem 1987568324010.
$endgroup$
– J. Fabian Meier
Aug 3 at 11:40
$begingroup$
What about hashing the theorem content? Something like theorem 1987568324010.
$endgroup$
– J. Fabian Meier
Aug 3 at 11:40
|
show 9 more comments
2 Answers
2
active
oldest
votes
$begingroup$
This is a slight elaboration of François Dorais's comment. If you have a small number of theorems/lemmas/propositions—let's say, small enough that readers can reasonably be expected to hold all the theorems in their head at once—then the second method of numbering can help readers grasp the flow of the paper and can even serve as a mnemonic aid.
A secondary consideration, similar to what Fedor Petrov said, is that the reader may want to skim through and just look at the main theorems. If you adopt the first method of numbering, then readers might accidentally skip from (say) Theorem 8 to Theorem 17 without realizing that they missed Theorem 14.
One famous book that uses the second method of numbering is Serre's Course in Arithmetic. Serre uses the "Theorem" designation very sparsely in that book, and the numbering system helps make the Theorems stand out.
$endgroup$
2
$begingroup$
Personally, I'm unconvinced that any such minor advantages would outweigh the resulting inability to find anything. However, I wonder how ugly and difficult it would be to use both numbering systems and get the best of both worlds? E.g. something like "2.7 Theorem 3" for the 3rd theorem which is also the 7th result in section 2.
$endgroup$
– Mike Shulman
Aug 6 at 1:01
$begingroup$
@MikeShulman: Agreed. I've also tried the "Theorem A (=Theorem 2.7)" "Theorem B (=Theorem 4.6)" approach in the past, which I still kind of like. I think changing to letters for the main results can help by not having two numbering systems, which could get confusing. (But still get the best of both worlds, as you suggest.)
$endgroup$
– Joshua Grochow
Aug 6 at 4:57
1
$begingroup$
Useful for counting theorems? what's the diff between theorem and proposition? just emphasis?
$endgroup$
– Jim Stasheff
Aug 6 at 19:45
add a comment |
$begingroup$
If the paper contains three main theorems, each generalizing the previous, it is nice to be able to discuss them like this:
While the extension of Theorem 1 to Theorem 2 uses only complex analysis, in Theorem 3 we will have to employ some Ramsey theory.
$endgroup$
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "504"
;
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: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
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
,
noCode: 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%2fmathoverflow.net%2fquestions%2f337518%2fwhy-would-one-number-theorems-propositions-and-lemmas-separately%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
This is a slight elaboration of François Dorais's comment. If you have a small number of theorems/lemmas/propositions—let's say, small enough that readers can reasonably be expected to hold all the theorems in their head at once—then the second method of numbering can help readers grasp the flow of the paper and can even serve as a mnemonic aid.
A secondary consideration, similar to what Fedor Petrov said, is that the reader may want to skim through and just look at the main theorems. If you adopt the first method of numbering, then readers might accidentally skip from (say) Theorem 8 to Theorem 17 without realizing that they missed Theorem 14.
One famous book that uses the second method of numbering is Serre's Course in Arithmetic. Serre uses the "Theorem" designation very sparsely in that book, and the numbering system helps make the Theorems stand out.
$endgroup$
2
$begingroup$
Personally, I'm unconvinced that any such minor advantages would outweigh the resulting inability to find anything. However, I wonder how ugly and difficult it would be to use both numbering systems and get the best of both worlds? E.g. something like "2.7 Theorem 3" for the 3rd theorem which is also the 7th result in section 2.
$endgroup$
– Mike Shulman
Aug 6 at 1:01
$begingroup$
@MikeShulman: Agreed. I've also tried the "Theorem A (=Theorem 2.7)" "Theorem B (=Theorem 4.6)" approach in the past, which I still kind of like. I think changing to letters for the main results can help by not having two numbering systems, which could get confusing. (But still get the best of both worlds, as you suggest.)
$endgroup$
– Joshua Grochow
Aug 6 at 4:57
1
$begingroup$
Useful for counting theorems? what's the diff between theorem and proposition? just emphasis?
$endgroup$
– Jim Stasheff
Aug 6 at 19:45
add a comment |
$begingroup$
This is a slight elaboration of François Dorais's comment. If you have a small number of theorems/lemmas/propositions—let's say, small enough that readers can reasonably be expected to hold all the theorems in their head at once—then the second method of numbering can help readers grasp the flow of the paper and can even serve as a mnemonic aid.
A secondary consideration, similar to what Fedor Petrov said, is that the reader may want to skim through and just look at the main theorems. If you adopt the first method of numbering, then readers might accidentally skip from (say) Theorem 8 to Theorem 17 without realizing that they missed Theorem 14.
One famous book that uses the second method of numbering is Serre's Course in Arithmetic. Serre uses the "Theorem" designation very sparsely in that book, and the numbering system helps make the Theorems stand out.
$endgroup$
2
$begingroup$
Personally, I'm unconvinced that any such minor advantages would outweigh the resulting inability to find anything. However, I wonder how ugly and difficult it would be to use both numbering systems and get the best of both worlds? E.g. something like "2.7 Theorem 3" for the 3rd theorem which is also the 7th result in section 2.
$endgroup$
– Mike Shulman
Aug 6 at 1:01
$begingroup$
@MikeShulman: Agreed. I've also tried the "Theorem A (=Theorem 2.7)" "Theorem B (=Theorem 4.6)" approach in the past, which I still kind of like. I think changing to letters for the main results can help by not having two numbering systems, which could get confusing. (But still get the best of both worlds, as you suggest.)
$endgroup$
– Joshua Grochow
Aug 6 at 4:57
1
$begingroup$
Useful for counting theorems? what's the diff between theorem and proposition? just emphasis?
$endgroup$
– Jim Stasheff
Aug 6 at 19:45
add a comment |
$begingroup$
This is a slight elaboration of François Dorais's comment. If you have a small number of theorems/lemmas/propositions—let's say, small enough that readers can reasonably be expected to hold all the theorems in their head at once—then the second method of numbering can help readers grasp the flow of the paper and can even serve as a mnemonic aid.
A secondary consideration, similar to what Fedor Petrov said, is that the reader may want to skim through and just look at the main theorems. If you adopt the first method of numbering, then readers might accidentally skip from (say) Theorem 8 to Theorem 17 without realizing that they missed Theorem 14.
One famous book that uses the second method of numbering is Serre's Course in Arithmetic. Serre uses the "Theorem" designation very sparsely in that book, and the numbering system helps make the Theorems stand out.
$endgroup$
This is a slight elaboration of François Dorais's comment. If you have a small number of theorems/lemmas/propositions—let's say, small enough that readers can reasonably be expected to hold all the theorems in their head at once—then the second method of numbering can help readers grasp the flow of the paper and can even serve as a mnemonic aid.
A secondary consideration, similar to what Fedor Petrov said, is that the reader may want to skim through and just look at the main theorems. If you adopt the first method of numbering, then readers might accidentally skip from (say) Theorem 8 to Theorem 17 without realizing that they missed Theorem 14.
One famous book that uses the second method of numbering is Serre's Course in Arithmetic. Serre uses the "Theorem" designation very sparsely in that book, and the numbering system helps make the Theorems stand out.
answered Aug 5 at 21:22
community wiki
Timothy Chow
2
$begingroup$
Personally, I'm unconvinced that any such minor advantages would outweigh the resulting inability to find anything. However, I wonder how ugly and difficult it would be to use both numbering systems and get the best of both worlds? E.g. something like "2.7 Theorem 3" for the 3rd theorem which is also the 7th result in section 2.
$endgroup$
– Mike Shulman
Aug 6 at 1:01
$begingroup$
@MikeShulman: Agreed. I've also tried the "Theorem A (=Theorem 2.7)" "Theorem B (=Theorem 4.6)" approach in the past, which I still kind of like. I think changing to letters for the main results can help by not having two numbering systems, which could get confusing. (But still get the best of both worlds, as you suggest.)
$endgroup$
– Joshua Grochow
Aug 6 at 4:57
1
$begingroup$
Useful for counting theorems? what's the diff between theorem and proposition? just emphasis?
$endgroup$
– Jim Stasheff
Aug 6 at 19:45
add a comment |
2
$begingroup$
Personally, I'm unconvinced that any such minor advantages would outweigh the resulting inability to find anything. However, I wonder how ugly and difficult it would be to use both numbering systems and get the best of both worlds? E.g. something like "2.7 Theorem 3" for the 3rd theorem which is also the 7th result in section 2.
$endgroup$
– Mike Shulman
Aug 6 at 1:01
$begingroup$
@MikeShulman: Agreed. I've also tried the "Theorem A (=Theorem 2.7)" "Theorem B (=Theorem 4.6)" approach in the past, which I still kind of like. I think changing to letters for the main results can help by not having two numbering systems, which could get confusing. (But still get the best of both worlds, as you suggest.)
$endgroup$
– Joshua Grochow
Aug 6 at 4:57
1
$begingroup$
Useful for counting theorems? what's the diff between theorem and proposition? just emphasis?
$endgroup$
– Jim Stasheff
Aug 6 at 19:45
2
2
$begingroup$
Personally, I'm unconvinced that any such minor advantages would outweigh the resulting inability to find anything. However, I wonder how ugly and difficult it would be to use both numbering systems and get the best of both worlds? E.g. something like "2.7 Theorem 3" for the 3rd theorem which is also the 7th result in section 2.
$endgroup$
– Mike Shulman
Aug 6 at 1:01
$begingroup$
Personally, I'm unconvinced that any such minor advantages would outweigh the resulting inability to find anything. However, I wonder how ugly and difficult it would be to use both numbering systems and get the best of both worlds? E.g. something like "2.7 Theorem 3" for the 3rd theorem which is also the 7th result in section 2.
$endgroup$
– Mike Shulman
Aug 6 at 1:01
$begingroup$
@MikeShulman: Agreed. I've also tried the "Theorem A (=Theorem 2.7)" "Theorem B (=Theorem 4.6)" approach in the past, which I still kind of like. I think changing to letters for the main results can help by not having two numbering systems, which could get confusing. (But still get the best of both worlds, as you suggest.)
$endgroup$
– Joshua Grochow
Aug 6 at 4:57
$begingroup$
@MikeShulman: Agreed. I've also tried the "Theorem A (=Theorem 2.7)" "Theorem B (=Theorem 4.6)" approach in the past, which I still kind of like. I think changing to letters for the main results can help by not having two numbering systems, which could get confusing. (But still get the best of both worlds, as you suggest.)
$endgroup$
– Joshua Grochow
Aug 6 at 4:57
1
1
$begingroup$
Useful for counting theorems? what's the diff between theorem and proposition? just emphasis?
$endgroup$
– Jim Stasheff
Aug 6 at 19:45
$begingroup$
Useful for counting theorems? what's the diff between theorem and proposition? just emphasis?
$endgroup$
– Jim Stasheff
Aug 6 at 19:45
add a comment |
$begingroup$
If the paper contains three main theorems, each generalizing the previous, it is nice to be able to discuss them like this:
While the extension of Theorem 1 to Theorem 2 uses only complex analysis, in Theorem 3 we will have to employ some Ramsey theory.
$endgroup$
add a comment |
$begingroup$
If the paper contains three main theorems, each generalizing the previous, it is nice to be able to discuss them like this:
While the extension of Theorem 1 to Theorem 2 uses only complex analysis, in Theorem 3 we will have to employ some Ramsey theory.
$endgroup$
add a comment |
$begingroup$
If the paper contains three main theorems, each generalizing the previous, it is nice to be able to discuss them like this:
While the extension of Theorem 1 to Theorem 2 uses only complex analysis, in Theorem 3 we will have to employ some Ramsey theory.
$endgroup$
If the paper contains three main theorems, each generalizing the previous, it is nice to be able to discuss them like this:
While the extension of Theorem 1 to Theorem 2 uses only complex analysis, in Theorem 3 we will have to employ some Ramsey theory.
answered Aug 2 at 22:33
community wiki
Bjørn Kjos-Hanssen
add a comment |
add a comment |
Thanks for contributing an answer to MathOverflow!
- 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.
Use MathJax to format equations. MathJax reference.
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%2fmathoverflow.net%2fquestions%2f337518%2fwhy-would-one-number-theorems-propositions-and-lemmas-separately%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
5
$begingroup$
The reader may quickly count the theorems in your paper.
$endgroup$
– Fedor Petrov
Aug 2 at 22:32
12
$begingroup$
If a short paper has three main results, the second of which has a long proof with five lemmas, then Thm. 1, Thm. 2, Lem. 1-5, Thm. 3 makes total sense.
$endgroup$
– François G. Dorais♦
Aug 2 at 22:33
16
$begingroup$
I have always assumed that most people using method 2 haven't really thought about it and are just letting LaTeX get away with its default behavior. To make LaTeX use method 1 you have to explicitly tell it to use the same counter for all results.
$endgroup$
– Mike Shulman
Aug 2 at 22:56
4
$begingroup$
In the numbering method 1, maybe I would antepone the number: 1-Thm. , 2-Prop., 3-Thm., 4-Lem. , etc.
$endgroup$
– Pietro Majer
Aug 3 at 8:39
3
$begingroup$
What about hashing the theorem content? Something like theorem 1987568324010.
$endgroup$
– J. Fabian Meier
Aug 3 at 11:40