(redirected from Ambrose-Singer holonomy theorem)