Description: Real exponentiation is one-to-one with respect to the second argument. (TODO: Note that the base C must be positive since -u C ^ A is C ^ A x.e ^ i _pi A , so in the negative case A = B + 2 k ). (Contributed by SN, 25-Apr-2025)