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.