Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Let $(M,g)$ be an Hermitian locally symmetric space with nonnegative bisectional curvature. Suppose the fundamental group of $M$ is finite, can we prove that $M$ is simply-connected?