ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F9798 on D2635: Warsaw sine function
F9798
Formulation 1
The Warsaw sine function is the D4364: Real function \begin{equation} (0, 1] \to \mathbb{R}, \quad x \mapsto \sin ( x^{-1} ) \end{equation}