Theorem and lemma and proposition numberings with the numbers first
50235
Numbering theorem-like environments
151038
How to prove (A v B), (A → C), (B → D) therefore (C v D)
4303
Enumerating inside a proposition and inside a proof
56010
Strengthening of a lemma in Ramsey Theory: $R(m, n) \le R(m-1, n) + R(m, n-1)-1$ if both numbers are even
138279
Multiplicative order and powers
70266
1-1 correspondence between [0,1] and [0,1)
51369
Natural deduction proof of $p \lor (p\implies q)$ with propositional calculus
5098
Theorem without numbering
83037
Applying Zorn's Lemma to natural numbers
95864
beamer: Different numbering for Theorems, Examples, Definition, and Lemma
105221
Confusion about Satisfiability by a denumerable sequence.
45788
$n$-th digit in the sequence of natural numbers
16152
How do I get sub-numbering for theorems (Theorem 1.A., Theorem 1.B., Theorem 2.)?
45204
Combinatorial proofs: having a difficult time understanding how to write them out
75504
Theorem 11.14, Apostol, pg 238 - need explanation
48051
Proof related to natural numbers
126015
Elementary number theory in sets