OAI/Probability/BenjaminiSchramm/ProbeEntropy.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Percolation.BenjaminiSchramm.ProbeEntropy.weight_pos line 14
  2. def OAI.Percolation.BenjaminiSchramm.ProbeEntropy.totalQueries line 27
  3. def OAI.Percolation.BenjaminiSchramm.ProbeEntropy.totalMarks line 30
  4. def OAI.Percolation.BenjaminiSchramm.ProbeEntropy.treeDivergence line 33
  5. theorem OAI.Percolation.BenjaminiSchramm.ProbeEntropy.totalQueries_done line 36
  6. theorem OAI.Percolation.BenjaminiSchramm.ProbeEntropy.totalMarks_done line 39
  7. theorem OAI.Percolation.BenjaminiSchramm.ProbeEntropy.totalQueries_edge line 42
  8. theorem OAI.Percolation.BenjaminiSchramm.ProbeEntropy.totalQueries_mark line 50
  9. theorem OAI.Percolation.BenjaminiSchramm.ProbeEntropy.totalMarks_edge line 55
  10. theorem OAI.Percolation.BenjaminiSchramm.ProbeEntropy.totalMarks_mark line 60
  11. theorem OAI.Percolation.BenjaminiSchramm.ProbeEntropy.treeDivergence_edge line 68
  12. theorem OAI.Percolation.BenjaminiSchramm.ProbeEntropy.treeDivergence_mark line 83
  13. theorem OAI.Percolation.BenjaminiSchramm.ProbeEntropy.treeDivergence_eq line 98
  14. theorem OAI.Percolation.BenjaminiSchramm.ProbeEntropy.successMass_transfer line 110
  15. theorem OAI.Percolation.BenjaminiSchramm.ProbeEntropy.totalMarks_eq_successMass line 122
  16. theorem OAI.Percolation.BenjaminiSchramm.ProbeEntropy.totalQueries_le line 136