Let $X \subset \mathbb R^d$ be open, $f : X \to \mathbb R$ and
$$
E := \{x \in X : f \text{ is not Fréchet differentiable at }x\}.
$$

Then we have the following result which is

>[Theorem:](https://math.stackexchange.com/a/4483272/1019043) If $X= \mathbb R^d$ and $f$ is convex, then the Hausdorff dimension of $E$ is at most $d-1$.

Differentiability is a local property, so I guess above theorem is true even though $X \neq \mathbb R^d$. Can we extend above theorem to obtain below one?

>If $f$ is convex, then the Hausdorff dimension of $E$ is at most $d-1$.