OAI/Probability/CriticalPercolation/Gluing/CorridorScaleChoice.lean

GitHub source file

27 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CriticalPercolation.Corridor.ScaleChoice.J line 12
  2. def OAI.CriticalPercolation.Corridor.ScaleChoice.L line 13
  3. def OAI.CriticalPercolation.Corridor.ScaleChoice.contour line 14
  4. def OAI.CriticalPercolation.Corridor.ScaleChoice.epsilon line 15
  5. def OAI.CriticalPercolation.Corridor.ScaleChoice.delta line 16
  6. def OAI.CriticalPercolation.Corridor.ScaleChoice.kappa line 17
  7. def OAI.CriticalPercolation.Corridor.ScaleChoice.e line 18
  8. def OAI.CriticalPercolation.Corridor.ScaleChoice.eta line 19
  9. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.J_lower line 21
  10. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.L_lower line 22
  11. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.e_pos line 23
  12. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.e_lt line 24
  13. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.e_small line 25
  14. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.kappa_pos line 26
  15. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.kappa_le line 27
  16. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.log_nonneg line 28
  17. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.eta_pos line 30
  18. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.eta_le line 33
  19. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.eta_lt line 40
  20. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.eta_small line 42
  21. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.delta_pos line 47
  22. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.root_error line 48
  23. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.contour_nonneg line 52
  24. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.contour_small line 53
  25. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.test_error line 54
  26. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.trial_scales line 57
  27. lemma OAI.CriticalPercolation.Corridor.ScaleChoice.mesh line 67