Loading paper
One-basedness and reductions of elliptic curves over real closed fields | Tomesphere