pow): `z ^ w` is continuous in `(z, w)` at `(0, w)` if `0 < re w` (#13288)

Commit

3 years ago

feat(analysis/special_functions/pow): `z ^ w` is continuous in `(z, w)` at `(0, w)` if `0 < re w` (#13288) Also add a few supporting lemmas.

Author

urkud

Parents