Commit 2022-04-11 11:52 f7e862f6
View on Github →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.
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.