Abstract: 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 a diffeomorphism of a smooth Riemannian manifold.