erdos_szekeres_theorem (113B)
1 # Erdos-Szekeres theorem 2 3 https://en.wikipedia.org/wiki/Erd%C5%91s%E2%80%93Szekeres_theorem 4 5 Up: [combinatorics]
wiki_researchpersonal research wiki | |
| git clone https://a3nm.net/git/wiki_research/ | |
| Log | Files | Refs |