de Rham decomposition theorem

  1. REDIRECT holonomy