Documentation

LeanPool.CarlsonFunctions.Dirichlet.Average

Carlson's Dirichlet averages #

This umbrella module collects the basic integral theory, differentiation theory, Newton--Taylor theory, and analytic continuation theory for Carlson's Dirichlet averages.