Lemmas from continuity
---
Complement, closure, interior.
Planar graphs.
Edges and vertices of a tree.
Kuratowski-Wagner theorem.
Chebyshev function $\vartheta (x)$.
Dissecting an obtuse triangle into acute triangles.
Equiarea and equiperimeter cut.
$e$ is irrational.
$\pi$ is irrational.
Simple sudoku backtrack algorithm.
Smallest pan-digital prime.
Equivalent statements to PNT.
Chebyshev theorem on primes.
Matrix inverses.
2025-02-23 some integrals relating to Bessel polynomials.
Picard theorem ODE
Fermat point.
20 degrees is not constructible.
next 20 → ---
Complement, closure, interior.
Planar graphs.
Edges and vertices of a tree.
Kuratowski-Wagner theorem.
Chebyshev function $\vartheta (x)$.
Dissecting an obtuse triangle into acute triangles.
Equiarea and equiperimeter cut.
$e$ is irrational.
$\pi$ is irrational.
Simple sudoku backtrack algorithm.
Smallest pan-digital prime.
Equivalent statements to PNT.
Chebyshev theorem on primes.
Matrix inverses.
2025-02-23 some integrals relating to Bessel polynomials.
Picard theorem ODE
Fermat point.
20 degrees is not constructible.