← back
Assorted results which are well-known but (probably) not written down. Each note is 1–3 pages long and meant to be self-contained.