Describir: Lyapunov exponents and smooth ergodic theory