Here, as much for my convenience as anyone else's, is a list of the theorems that have appeared here, with links. Bézout's theorem The intermediate value theorem Vinogradov's three primes theorem Van der Waerden's theorem The square root of 2 is irrational The binomial theorem The Banach-Tarski paradox Eulerian circuits Bachet's duplication formula Lagrange's theorem…
- was useful to overcome submodule error for 'pybind11' in github.com/tdegeus/pybind11_examples
- the command mentioned in Edit 2, 'git submodule sync' is crucial
The CS Education Library project at Stanford is an online library which collects and organizes computer science education materials, and gives them away for free.