Mathlib v3 is deprecated. Go to Mathlib v4

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.

Estimated changes