Under condition $a > 0$, $a \neq 1$, if $a^x = a^y$ then—

When the base satisfies $a>0,\ a\neq 1$, the exponential function is one-to-one, so equal powers force equal exponents. Hence $a^x=a^y$ implies $x=y$.