OAI/NumberTheory/DirichletL/PrimeRows/NonprincipalContour.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SevenEighths.ProbeHighRowFamily.calibrated_physicalRow_first_w line 14
  2. theorem OAI.SevenEighths.ProbeHighRowFamily.contourTupleOutside line 40
  3. def OAI.SevenEighths.ProbeHighRowFamily.continuedPhysicalRowKernel line 46
  4. theorem OAI.SevenEighths.ProbeHighRowFamily.continuedPhysicalRowKernel_initial line 55
  5. lemma OAI.SevenEighths.ProbeHighRowFamily.sourceMellinWeight_differentiable_w line 69
  6. theorem OAI.SevenEighths.ProbeHighRowFamily.continuedPhysicalRowKernel_differentiableAt_w line 79
  7. theorem OAI.SevenEighths.ProbeHighRowFamily.nonprincipal_w_rectangle line 91