  The hyperbolic Ax-Lindemann-Weierstrass conjecture is a functional algebraic
independence statement for the uniformizing map of an arithmetic variety. In
this paper we provide a proof of this conjecture, generalizing previous work of
Pila-Tsimerman and Peterzil-Starchenko.
