Loading paper
Curve selection lemma in arc spaces | Tomesphere