TY - RPRT TI - Rational points on $X^+_0(125)$ AU - Vishal Arul AU - J. Steffen Müller PY - 2022 UR - https://arxiv.org/abs/2205.14744 ID - 2205.14744 ER -