Loading paper
Quantitative height bounds under splitting conditions | Tomesphere