Rolle sets
Let $\R$ be an o-minimal expansion of the real field. Definition A Rolle leaf over $\R$ is a Rolle leaf of a definable $(n-1)$-distribution on $\RR^n$, for some $n \in \NN$. Example The graph of $\exp$ is a Rolle leaf over $\bar\RR$. Exercise Let $C \subseteq M^n$ be a definable $C^1$-cell of dimension $m$, let…