Carlson special functions and complex Dirichlet averages

Source: url:https://github.com/bjbraams/lean-codes Authors: Bastiaan J Braams Status: verified Main declarations: PalomarSnapshot.r_first_quadratic, PalomarSnapshot.joint_average_continuation Tags: special-functions, complex-analysis, dirichlet-averages MSC: 33C65, 32A10