Question: Are both Mark Krein and Grigory Margulis mathematicians?

Context paragraphs:
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.  It was proved by Valery Oseledets (also spelled "Oseledec") in 1965 and reported at the International Mathematical Congress in Moscow in 1966.  A conceptually different proof of the multiplicative ergodic theorem was found by M. S. Raghunathan.  The theorem has been extended to semisimple Lie groups by V. A. Kaimanovich and further generalized in the works of David Ruelle, Grigory Margulis, Anders Karlsson, and François Ledrappier.

Symmetrizable compact operator: In mathematics, a symmetrizable compact operator is a compact operator on a Hilbert space that can be composed with a positive operator with trivial kernel to produce a self-adjoint operator.  Such operators arose naturally in the work on integral operators of Hilbert, Korn, Lichtenstein and Marty required to solve elliptic boundary value problems on bounded domains in Euclidean space.  Between the late 1940s and early 1960s the techniques, previously developed as part of classical potential theory, were abstracted within operator theory by various mathematicians, including M. G. Krein, William T. Reid, Peter Lax and Jean Dieudonné.  Fredholm theory already implies that any element of the spectrum is an eigenvalue.  The main results assert that the spectral theory of these operators is similar to that of compact self-adjoint operators: any spectral value is real; they form a sequence tending to zero; any generalized eigenvector is an eigenvector; and the eigenvectors span a dense subspace of the Hilbert space.

Grigory Margulis: Gregori Aleksandrovich Margulis (Russian: Григо́рий Алекса́ндрович Маргу́лис , first name often given as Gregory, Grigori or Grigory; born February 24, 1946) is a Russian-American mathematician known for his work on lattices in Lie groups, and the introduction of methods from ergodic theory into diophantine approximation.  He was awarded a Fields Medal in 1978 and a Wolf Prize in Mathematics in 2005, becoming the seventh mathematician to receive both prizes.  In 1991, he joined the faculty of Yale University, where he is currently the Erastus L. De Forest Professor of Mathematics.

Tannaka–Krein duality: In mathematics, Tannaka–Krein duality theory concerns the interaction of a compact topological group and its category of linear representations.  It is a natural extension of Pontryagin duality, between compact and discrete commutative topological groups, to groups that are compact but noncommutative.  The theory is named for two men, the Soviet mathematician Mark Grigorievich Krein, and the Japanese Tadao Tannaka.  In contrast to the case of commutative groups considered by Lev Pontryagin, the notion dual to a noncommutative compact group is not a group, but a category Π("G") with some additional structures, formed by the finite-dimensional representations of "G".

Margulis lemma: In differential geometry, a subfield of mathematics, the Margulis lemma (named after Grigory Margulis) is a result about discrete subgroups of isometries of a non-positively curved Riemannian manifolds (e.g. the hyperbolic n-space).  Roughly, it states that within a fixed radius, usually called the Margulis constant, the structure of the orbits of such a group cannot be too complicated.  More precisely, within this radius around a point all points in its orbit are in fact in the orbit of a nilpotent subgroup (in fact a bounded finite number of such).

Markov–Krein theorem: In probability theory, the Markov–Krein theorem gives the best upper and lower bounds on the expected values of certain functions of a random variable where only the first moments of the random variable are known.  The result is named after Andrey Markov and Mark Krein.

Napkin folding problem: The napkin folding problem is a problem in geometry and the mathematics of paper folding that explores whether folding a square or a rectangular napkin can increase its perimeter.  The problem is known under several names, including the Margulis napkin problem, suggesting it is due to Grigory Margulis, and the Arnold's rouble problem referring to Vladimir Arnold and the folding of a Russian ruble bank note.  Some versions of the problem were solved by Robert J. Lang, Svetlana Krat, Alexey S. Tarasov, and Ivan Yaschenko.  One form of the problem remains open.

Superrigidity: In mathematics, in the theory of discrete groups, superrigidity is a concept designed to show how a linear representation ρ of a discrete group Γ inside an algebraic group "G" can, under some circumstances, be as good as a representation of "G" itself.  That this phenomenon happens for certain broadly defined classes of lattices inside semisimple groups was the discovery of Grigory Margulis, who proved some fundamental results in this direction.

Mark Krein: Mark Grigorievich Krein (Ukrainian: Марко Григорович Крейн , Russian: Марк Григо́рьевич Крейн ; 3 April 1907 – 17 October 1989) was a Soviet Jewish mathematician, one of the major figures of the Soviet school of functional analysis.  He is known for works in operator theory (in close connection with concrete problems coming from mathematical physics), the problem of moments, classical analysis and representation theory.

Ratner's theorems: In mathematics, Ratner's theorems are a group of major theorems in ergodic theory concerning unipotent flows on homogeneous spaces proved by Marina Ratner around 1990.  The theorems grew out of Ratner's earlier work on horocycle flows.  The study of the dynamics of unipotent flows played a decisive role in the proof of the Oppenheim conjecture by Grigory Margulis.  Ratner's theorems have guided key advances in the understanding of the dynamics of unipotent flows.  Their later generalizations provide ways to both sharpen the results and extend the theory to the setting of arbitrary semisimple algebraic groups over a local field.

Supporting paragraphs: Mark Krein Grigory Margulis
Answer: yes