Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
Introduction
2.
Definitions
3.
The Digit Layer
4.
Race Bookkeeping
5.
Bounded Holomorphy
6.
Layers
7.
The Euler Product
8.
Forcing the Slope to Zero
9.
Nonlinearity of the Prime Race
10.
Main Theorem
Dependency Graph
Showcase Summary
Formalization Metadata
Trust model
Bibliography