OAI/NumberTheory/DirichletL/Moments/FirstPhysicalSourceSupport.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.SevenEighths.CenteredMomentFirstPhysicalSourceSupport.nonzero_columns line 20
  2. theorem OAI.SevenEighths.CenteredMomentFirstPhysicalSourceSupport.original_column_lower line 47
  3. lemma OAI.SevenEighths.CenteredMomentFirstPhysicalSourceSupport.log_window_upper line 60
  4. theorem OAI.SevenEighths.CenteredMomentFirstPhysicalSourceSupport.block_reference_lower line 67
  5. lemma OAI.SevenEighths.CenteredMomentFirstPhysicalSourceSupport.reference_sqrt_lower line 95
  6. theorem OAI.SevenEighths.CenteredMomentFirstPhysicalSourceSupport.scalar_volume_bound line 108
  7. theorem OAI.SevenEighths.CenteredMomentFirstPhysicalSourceSupport.original_scalar_volume line 137