📝 Preview: This is a new page added in this pull request.
Last modified: 2026-11-13 13:00:00 (PST)
Every definition and theorem in these notes is one box, colored by kind. A box sits below each definition and theorem it uses, so the ones that use no others are at the top. Hover over a box to see its name, and click it to open its page.
These notes build on the math for computer science notes, whose Math Reference pages define sets, functions, numbers and proofs. This tree joins both sets of notes: a box sits below each definition and theorem it uses, in either one, and hovering over a box also shows which notes it is in.