OAI/Probability/CriticalPercolation/Entropy/BinaryTranscript.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.CriticalPercolation.BinaryLaw.stepLeft line 15
  2. abbrev OAI.CriticalPercolation.BinaryLaw.stepRight line 17
  3. abbrev OAI.CriticalPercolation.BinaryLaw.stepTargets line 19
  4. def OAI.CriticalPercolation.BinaryLaw.activeSteps line 22
  5. def OAI.CriticalPercolation.BinaryLaw.pairQuery line 29
  6. def OAI.CriticalPercolation.BinaryLaw.selectedTranscript line 32
  7. def OAI.CriticalPercolation.BinaryLaw.selectedWeight line 37
  8. def OAI.CriticalPercolation.BinaryLaw.selectedCost line 44
  9. lemma OAI.CriticalPercolation.BinaryLaw.selected_nonneg line 51
  10. lemma OAI.CriticalPercolation.BinaryLaw.selected_run line 62
  11. lemma OAI.CriticalPercolation.BinaryLaw.selectedWeight_le_raw line 76
  12. lemma OAI.CriticalPercolation.BinaryLaw.supported_selected_eq line 90
  13. lemma OAI.CriticalPercolation.BinaryLaw.supported_selected_positive line 104
  14. lemma OAI.CriticalPercolation.BinaryLaw.selected_moment line 114