Loading paper
Arithmetic over trivially valued field and its applications | Tomesphere