OAI/NumberTheory/DirichletL/Moments/ExceptionalAllocationShell.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SevenEighths.CenteredMomentExceptionalAllocationShell.exact_max_cancellation line 14
  2. def OAI.SevenEighths.CenteredMomentExceptionalAllocationShell.exceptionalWeight line 22
  3. theorem OAI.SevenEighths.CenteredMomentExceptionalAllocationShell.active_exceptional_weight line 31
  4. theorem OAI.SevenEighths.CenteredMomentExceptionalAllocationShell.actual_exceptional_shell line 52
  5. def OAI.SevenEighths.CenteredMomentExceptionalAllocationShell.ShellBound line 106
  6. theorem OAI.SevenEighths.CenteredMomentExceptionalAllocationShell.uniform_subset_shell line 113
  7. theorem OAI.SevenEighths.CenteredMomentExceptionalAllocationShell.exceptional_shell_subpower line 130