Dependency Tree

Last modified: 2026-11-03 15:17:03 (PST)

How to read the tree

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.