OAI/NumberTheory/DirichletL/ContinuationInversion.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SevenEighths.Continuation.integrable_logProfile line 11
2. theorem OAI.SevenEighths.Continuation.mellin_mellinInv_eq line 42
3. def OAI.SevenEighths.Continuation.normalizedSignal line 78
4. theorem OAI.SevenEighths.Continuation.mellin_normalizedSignal line 81
5. theorem OAI.SevenEighths.Continuation.signalMellin_eq_on_line line 88