OAI/NumberTheory/DirichletL/Moments/SecondExceptionalKernel.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SevenEighths.CenteredMomentSecondExceptionalKernel.whole_kernel_divisor_pair line 17
2. theorem OAI.SevenEighths.CenteredMomentSecondExceptionalKernel.weighted_norm_sum line 76
3. theorem OAI.SevenEighths.CenteredMomentSecondExceptionalKernel.whole_kernel_actual_second_pair line 84
4. theorem OAI.SevenEighths.CenteredMomentSecondExceptionalKernel.exceptional_rows_pair line 174
5. theorem OAI.SevenEighths.CenteredMomentSecondExceptionalKernel.actual_exceptional_block_bound line 191