Smallest Rational Number Proof
3208
There is no smallest rational number greater than 2
32848
Prove that the product of a non-zero rational and irrational number is irrational.
75039
Smallest positive element of $ \{ax + by: x,y \in \mathbb{Z}\}$ is $\gcd(a,b)$
121831
Proving that rational numbers are dense
19954
Perfect set without rational numbers
120309
Number Theory Inequality Proof
67161
No maximum(minimum) of rationals whose square is lesser(greater) than $2$.
140841
Induction proof of lower bound for $\sum \sqrt n$
83145
Sum of rational numbers
126074
Proof of the irrationality of $\sqrt{3}$ - logic question
27356
Lower bound on proof length
141529
Proving existence of a minimum
30523
A binary irrational with bits defined by primes
154459
Constructing a HoTT proof term of 1≠0
125707
A simple proof (hopefully) for $2^x \neq 0$
28347
Prove that $\sqrt 2 + \sqrt 3$ is irrational
76347
Shorter proof for some equvalences