Loading paper
Rationality of N\'eron-Tate height over function fields | Tomesphere