OAI/NumberTheory/OrdinaryCorrelations/AbsoluteDefect/MangoldtAbscissa.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.OrdinaryLogDerivative.mangoldt_abscissa line 18
2. lemma OAI.OrdinaryLogDerivative.continuousOn_horizontal line 24
3. lemma OAI.OrdinaryLogDerivative.horizontal_hasDerivAt line 37
4. theorem OAI.OrdinaryLogDerivative.horizontal_identity line 49