loading
loading
DAGSCC
20 theorem-kind notes laid out by their explicit `related` edges (37 arrows). Click any node to open the underlying note.
Layout is computed at build time by @dagrejs/dagre — top-to-bottom, no manual placement. Edges are derived from the related: frontmatter on each theorem note. To add a node, set kind: theoremon the note; to add an edge, list the target slug in the source note’s related: array.