OAI/Probability/SpanningForest/UniformSampler.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem336.clampUniform line 12
  2. theorem OAI.Problem336.measurable_clampUniform line 15
  3. theorem OAI.Problem336.uniform01_eq_map_unitInterval line 18
  4. theorem OAI.Problem336.map_clampUniform line 22
  5. theorem OAI.Problem336.exists_uniform01_sampler line 30
  6. theorem OAI.Problem336.sampler_uniform01_probability line 37
  7. def OAI.Problem336.privatePoolLaw line 43
  8. theorem OAI.Problem336.privatePoolLaw_probability line 46
  9. def OAI.Problem336.keyPoolLaw line 52
  10. theorem OAI.Problem336.keyPoolLaw_probability line 54
  11. def OAI.Problem336.splitVertexLabel line 60
  12. theorem OAI.Problem336.measurable_splitVertexLabel line 64
  13. theorem OAI.Problem336.map_splitVertexLabel line 67
  14. theorem OAI.Problem336.exists_uniform01_kernel_sampler line 70
  15. theorem OAI.Problem336.map_splitVertexLabels line 83