1 problem

Let $G$ be a definably simple group definable in an o-minimal structure $\mathcal{M}$. A subset $X\subseteq G$ is syndetic if there is a finite set $E\subseteq G$ such that $XE=G$.…