Ax-Schanuel for Shimura Varieties

Mok, N. (with Pila, J. & Tsimerman, J.)  
[PDF]