OAI/NumberTheory/DirichletL/PrimeRows/BufferedContour.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.ProbeHighRowFamily.reciprocal_differentiableAt_of_nonzero line 12
2. theorem OAI.SevenEighths.ProbeHighRowFamily.physicalCompensatedRow_buffered_differentiableAt_x line 34
3. lemma OAI.SevenEighths.ProbeHighRowFamily.sourceMellinWeight_differentiable_x line 56
4. theorem OAI.SevenEighths.ProbeHighRowFamily.continuedPhysicalRowKernel_buffered_differentiableAt_x line 63
5. theorem OAI.SevenEighths.ProbeHighRowFamily.buffered_x_rectangle line 77