OAI/NumberTheory/DirichletL/Detector/GlobalHolomorphic.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.ProbeEuler.coordV_differentiable line 9
2. lemma OAI.SevenEighths.ProbeEuler.coordW_differentiable line 14
3. lemma OAI.SevenEighths.ProbeEuler.coordR_z_differentiable line 19
4. lemma OAI.SevenEighths.ProbeEuler.coordK_w_differentiable line 25
5. lemma OAI.SevenEighths.ProbeEuler.unramifiedClosed_differentiableAt_w line 31
6. lemma OAI.SevenEighths.ProbeEuler.unramifiedClosed_differentiableAt_z line 45
7. lemma OAI.SevenEighths.ProbeEuler.open_region_denominators line 59
8. theorem OAI.SevenEighths.ProbeEuler.unramifiedClosed_analytic_x line 80
9. theorem OAI.SevenEighths.ProbeEuler.unramifiedClosed_analytic_w line 88
10. theorem OAI.SevenEighths.ProbeEuler.unramifiedClosed_analytic_z line 97