We prove the long-standing Eckmann--Ruelle conjecture in dimension theory of smooth dynamical systems. We show that the pointwise dimension exists almost everywhere with respect to a compactly supported Borel probability measure with non-zero Lyapunov exponents, invariant under di#eomorphism of a smooth Riemannian manifold.