OAI/NumberTheory/Ostmann/ZeroDensity/DensityWeightedProductCauchy.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Weighted product Cauchy inequalities for the zero detector

  1. theorem OAI.Ostmann.density_product_cauchy line 12
  2. theorem OAI.Ostmann.density_finite_product_cauchy line 51
  3. theorem OAI.Ostmann.density_finite_product_fourth line 65