OAI/NumberTheory/DirichletL/Hecke/ConditionalNonvanishing.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The seven-eighths Hecke nonvanishing theorem from certified moment estimates.

  1. theorem OAI.SevenEighths.HeckeFamily.LFunction_ne_zero_of_certified_bands line 9