OAI/NumberTheory/DirichletL/PrimeRows/FirstTransport.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.ProbeHighRowFamily.FirstTail.mono_parameter line 14
2. theorem OAI.SevenEighths.ProbeHighRowFamily.continuedRowOnLines_first_w_transport line 29
3. theorem OAI.SevenEighths.ProbeHighRowFamily.rowIntegral_first_w_lines line 51
4. theorem OAI.SevenEighths.ProbeHighRowFamily.rowIntegral_central_start line 73