paperAx-Schanuel for Shimura varietiesarXiv:1711.02189AbstractWe prove the Ax-Schanuel theorem for a general (pure) Shimura variety.