Question: Are both Mark Krein and Grigory Margulis mathematicians?
Sentence (from "Oseledets theorem"): In mathematics, the multiplicative ergodic theorem, or Oseledets theorem provides the theoretical background for computation of Lyapunov exponents of a nonlinear dynamical system.
Relevant evidence: No