On the fundamental group of semi-Riemannian manifolds with positive curvature operator - Jun-ichi Mukuno (2017)