An interactive companion (beta) · arXiv 2605.30266

This is a beta. We will keep working on these pages to improve the user experience; comments are welcome.

Abstract

The paper, section by section

Each section with what it establishes and the page where you can act on it. The PDF on arXiv stays the reference; these pages recompute its numbers, or say when a number is quoted.

    The pages

    One colour, one meaning, on every page.