📝 Preview: This is a new page added in this pull request.
Dependency Tree
Last modified: 2026-11-07 12:26:52 (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.