loading
loading
∴Reference
Cross-document jump-tables. Every entry is auto-generated at build time from the underlying notes, so it stays in sync with the source.
Every `<Equation>` JSX block plus every `$$ ... $$` display math span across the site, grouped by source document.
T-… IDs (theorems, lemmas, propositions, corollaries) extracted from raw MDX, sorted alphanumerically with the document each one first appears in.
OP-XXXX IDs surfaced across the notes — registered, partially resolved, retracted — each linking back to where the problem is most fully discussed.
Plain-language definitions for D-XXXX / S-XXXX / A-XXXX formal IDs. Term hover-cards across the site pull from this entry.
Every journal entry that named a canonical version, ordered newest first. Each row links to the originating weekly entry.
Auto-laid-out directed graph of every theorem-kind note and the explicit `related` edges between them. Pan + pinch supported.