OAI/Computability/VertexCover/Analysis/VariancePi.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VertexCover.Product.cons_measurePreserving line 45
  2. theorem OAI.VertexCover.Product.integral_cons line 52
  3. def OAI.VertexCover.Product.coordinateVariance line 63
  4. theorem OAI.VertexCover.Product.update_joint_measurable line 67
  5. theorem OAI.VertexCover.Product.coordinateVariance_integrable line 75
  6. theorem OAI.VertexCover.Product.variance_pi_le line 80