ProofWiki:Sandbox



Let $X$ and $Y$ be real sets.

Let $f: X \to Y$ be a real function.

Let $x \in X$.

Also see

 * Equivalence of Definitions of Oscillation at Point for Real Functions