mathlib

da1d134a - feat(analysis/special_functions/pow): strengthen cpow integrability lemmas (#18354)

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`.