Read side by side

Each pane scrolls independently. Use its document picker to change what you read. Related material opens this work's claims, proofs, Lean, code and other reading routes in the other pane. For material shared by several works, choose Work for these links. To follow a reference without moving the current page, turn on Open links from this document in the other pane. External links and the full PDF viewer open in a new tab. PDF toolbar links stay within the PDF viewer.

Use Read left pane or Read right pane to move keyboard focus into a document. Its Return to pane controls links bring you back. The browser Back button restores earlier pairs. On small screens, show either pane at full width, or choose Both panes to stack them.

Saved sessions also keep your reading positions and PDF page and zoom in this browser. Pair links keep the document addresses and HTML passage anchors. PDF toolbar page and zoom changes are not included in shared links. These reading links do not change the recorded proof or Lean status.