Case numbering within proof
856
Continuous v. per-chapter/section numbering of figures, tables, and other document elements
154459
Constructing a HoTT proof term of 1≠0
23886
Matching a case when one element in a pair is Null
74515
Elementary proof of claim in Baby Rudin 3.31
70950
Using tsql greater than sign in CASE Expression
51243
Proving a Statement using Mathematical Induction
43451
Case after 'except'?
67286
Alignment in cases
57215
Stuck on formal proofs. Not sure how to continue
73688
Can I use Gödel numbers to make a proof?
126114
Adding line by line comments to math proofs
872
Theorem numbering in LaTeX
20221
Combinatorics - Removing Double Counted Cases
135509
Proof writing: how to write a clear induction proof?
105661
Numbering theorems within chapters
27356
Lower bound on proof length
46264
Is it possible to use the enumerate/itemize environment within the proof/remark environment in a nice way?