Li's criterion for the Riemann Hypothesis

Source: url:https://github.com/nicholasbulka/li-criterion-rh-equivalence-lean Authors: Nicholas Bulka Status: verified Main declarations: li_criterion, li_coefficients_eq_zero_sum Tags: number-theory, riemann-hypothesis, complex-analysis MSC: 11M26