OAI/Computability/VertexCover/Analysis/VarianceProduct.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VertexCover.Product.bounded_memLp line 46
  2. theorem OAI.VertexCover.Product.bounded_integral_norm line 50
  3. theorem OAI.VertexCover.Product.mean_measurable line 55
  4. theorem OAI.VertexCover.Product.mean_memLp line 59
  5. theorem OAI.VertexCover.Product.variance_product line 63
  6. theorem OAI.VertexCover.Product.section_variance_integrable line 83
  7. theorem OAI.VertexCover.Product.variance_mean_le line 93
  8. theorem OAI.VertexCover.Product.variance_product_le line 132