Loading paper
An explicit height bound for the classical modular polynomial | Tomesphere