Documentation

MathlibNt.AnalyticNumberTheory.Chen1973.Chen1973Lemma1PerronKernel

Chen 1973, Lemma 1 #

Public facade for the finite Perron kernel and its unconditional Mellin--Bromwich identity. The algebraic kernel is implemented in Chen1973Lemma1PerronKernelCore; the analytic closure is implemented in Chen1973Lemma1MellinClosure.