Deep points

Source: paper (online) · source correspondence · tutorial · text-only version

Predict first:

What stays true

What the picture shows

What the picture cannot show

Checked Lean declarations

    Paper:

    Evidence
      Text description of the figure