OAI/Computability/MinUncut/Estimates/SamplerAssembly.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MinUncut.Outer.allWeight_mass line 15
  2. structure OAI.MinUncut.Outer.Parameters line 22
  3. def OAI.MinUncut.Outer.Parameters.select line 31
  4. def OAI.MinUncut.Outer.Parameters.grid line 37
  5. lemma OAI.MinUncut.Outer.Parameters.grid_pos line 40
  6. lemma OAI.MinUncut.Outer.Parameters.t_pos line 45
  7. lemma OAI.MinUncut.Outer.Parameters.k_le line 46
  8. def OAI.MinUncut.Outer.Parameters.denominator line 48
  9. lemma OAI.MinUncut.Outer.Parameters.denominator_pos line 52
  10. abbrev OAI.MinUncut.Outer.Parameters.Sample line 55
  11. def OAI.MinUncut.Outer.Parameters.weight line 58
  12. def OAI.MinUncut.Outer.Parameters.demand line 61
  13. lemma OAI.MinUncut.Outer.Parameters.weight_nonneg line 66
  14. lemma OAI.MinUncut.Outer.Parameters.weight_den line 72
  15. lemma OAI.MinUncut.Outer.Parameters.weight_sum line 76
  16. lemma OAI.MinUncut.Outer.Parameters.failure_eq line 81