OAI/Computability/VertexCover/Sampling/Rectangle.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.UniqueGames.Foundations.CorrelatedSampling.sum_div_const line 48
  2. abbrev OAI.UniqueGames.Foundations.CorrelatedSampling.RectangleSeed line 52
  3. def OAI.UniqueGames.Foundations.CorrelatedSampling.rectangleWeight line 55
  4. def OAI.UniqueGames.Foundations.CorrelatedSampling.rectangleAccept line 59
  5. theorem OAI.UniqueGames.Foundations.CorrelatedSampling.rectangleWeight_nonnegative line 63
  6. theorem OAI.UniqueGames.Foundations.CorrelatedSampling.rectangleWeight_normalized line 67
  7. def OAI.UniqueGames.Foundations.CorrelatedSampling.rectangleDistribution line 78
  8. theorem OAI.UniqueGames.Foundations.CorrelatedSampling.rectangle_row_mass line 84
  9. theorem OAI.UniqueGames.Foundations.CorrelatedSampling.rectangle_acceptance_mass line 101
  10. theorem OAI.UniqueGames.Foundations.CorrelatedSampling.rectangle_label_mass line 111
  11. theorem OAI.UniqueGames.Foundations.CorrelatedSampling.min_mem_thresholds line 140
  12. theorem OAI.UniqueGames.Foundations.CorrelatedSampling.max_mem_thresholds line 144
  13. theorem OAI.UniqueGames.Foundations.CorrelatedSampling.rectangle_union_mass line 148
  14. theorem OAI.UniqueGames.Foundations.CorrelatedSampling.rectangle_common_label_mass line 160