Use the same number for the same theorem
30151
How do I repeat a theorem number?
72383
"by as much as" + number
122103
Using the same figure twice with no new number
156377
Set one or more of coefficients to a specific integer
101244
can I use same functions with the different type of argument inputs
100095
Proving replacement theorem?
83533
Using the expression "the same" for a previously mentioned item
124849
Notation/name for the number of times a number can be exactly divided by $2$ (or a prime $p$)
139505
Peano/Presburger axioms - "find" numbers lower or equal than another number
16152
How do I get sub-numbering for theorems (Theorem 1.A., Theorem 1.B., Theorem 2.)?
79640
Function of a sequence of numbers
15733
Show that the cardinality of $\mathbb N$ is the same as the cardinality of $\mathbb N \times \mathbb N$
67923
"num - 1" vs "num -= 1"
100565
Property of sup of a set of numbers
119982
how to express the set of natural numbers in ZFC
31431
Can num++ be atomic for 'int num'?
157280
How do I sum up specific things in Numbers?