OAI/NumberTheory/DirichletL/Detector/GaussianDerivative.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.ProbePhysical.gaussianLog line 13
2. lemma OAI.SevenEighths.ProbePhysical.gaussianLog_ofReal line 16
3. lemma OAI.SevenEighths.ProbePhysical.gaussianLog_power_bound line 18
4. lemma OAI.SevenEighths.ProbePhysical.iteratedDeriv_restrict_positive line 36
5. lemma OAI.SevenEighths.ProbePhysical.gaussianLog_analytic line 49
6. lemma OAI.SevenEighths.ProbePhysical.gaussianLog_scaled_analytic line 54
7. lemma OAI.SevenEighths.ProbePhysical.gaussianLog_scaled_disk_bound line 59
8. lemma OAI.SevenEighths.ProbePhysical.gaussianLog_scaled_derivative_bound line 92