relaxation on Dini's Theorem
29751
Dini's Theorem and tests for uniform convergence
140910
Solving minimization problem $L_2$ IRLS (Iteration derivation)
145447
bilinear form - proof
67702
Minimal dense subset
58562
How can we prove that $D(f)\backsimeq\operatorname{Spec} A_f$?
94055
Extending Rolle's Theorem to Infinity
146062
A "Cantor-Schroder-Bernstein" theorem for partially-ordered-sets
94256
Partial factorization of multivariate polynomials in terms of given polynomials
72717
Use Mittag-Leffler to prove Weierstrass Factorization Theorem
118007
Not lifting your pen on the $n\times n$ grid
86635
Optimizing $(X_{n}+c)^{2}$ to show that $P(\overline{X}_{n}\geq \lambda) \leq E(X_{n}^{2})/(EX_{n}^{2}+ \lambda^{2})$
106698
$\mathbb N$ when given the metric $d(m,n)=\frac{1}{m}-\frac{1}{n}$
122041
Emmy Noether's theorem in simpler terms
141529
Proving existence of a minimum
17440
Differentiation using first principles with rational powers
157213
Application of Luca's theorem
143564
Uniform convergence of derivatives, Tao 14.2.7.