Commit 2023-02-02 11:40 da1d134a
View on Github →feat(analysis/special_functions/pow): strengthen cpow integrability lemmas (#18354)
This adds some slightly stronger results about continuity / integrability of x -> x^s
for complex s
.
feat(analysis/special_functions/pow): strengthen cpow integrability lemmas (#18354)
This adds some slightly stronger results about continuity / integrability of x -> x^s
for complex s
.