OAI/Computability/VertexCover/Analysis/VarianceCoordinateSum.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VertexCover.Product.update_right_measurePreserving line 43
  2. theorem OAI.VertexCover.Product.update_right_ae line 49
  3. theorem OAI.VertexCover.Product.integral_update_right line 55
  4. abbrev OAI.VertexCover.Cube.carrier line 78
  5. theorem OAI.VertexCover.Cube.measurableSet_carrier line 80
  6. theorem OAI.VertexCover.Cube.ae_carrier line 83
  7. theorem OAI.VertexCover.Cube.norm_le_one_of_mem_carrier line 89
  8. def OAI.VertexCover.Cube.boundedVersion line 95
  9. theorem OAI.VertexCover.Cube.boundedVersion_measurable line 98
  10. theorem OAI.VertexCover.Cube.boundedVersion_ae line 102
  11. theorem OAI.VertexCover.Cube.boundedVersion_bound line 107
  12. theorem OAI.VertexCover.Cube.variance_le_coordinate_sum line 122