Ax–Schanuel for the $j$-function