Commit 2022-11-22 12:28 563bbc0c

View on Github →

feat(analysis/calculus): smoothness of series of functions (#17110) We show that infinite series of functions are continuous/differentiable/smooth under suitable summability assumptions.

Estimated changes