Cartan–Ambrose–Hicks theorem

Cartan–Ambrose–Hicks theorem