Loading paper
Shrinking target horospherical equidistribution via translated Farey sequences | Tomesphere