Loading paper
Explicit height bounds and the explicit Mordell-Lang Conjecture | Tomesphere