How to read thisResult Map
🕸️
No results mapped yet
The Result Map shows how the results in a paper depend on each other. Each theorem, lemma, or definition is a node, and each reference from one to another is an arrow. Add proof blocks (∎) to the paper and cite them with references (↪). They'll appear here, and you'll be able to trace what every result depends on.
Go to the paper →