Loading paper
Cut-by-curves criterion for the overconvergence of p-adic differential equations | Tomesphere