OAI/Probability/CriticalPercolation/Growth/HomogeneousGrowth.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.HasDegree line 20
  2. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.not_quadratic_exponential_lower line 22
  3. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.suborbit_card_relIndex line 51
  4. def OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.ratio line 58
  5. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.ratio_relativeMass line 59
  6. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.ratio_pos line 62
  7. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.ratio_cocycle line 64
  8. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.ratio_self line 70
  9. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.ratio_aut line 72
  10. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.ratio_pow line 75
  11. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.aut_pow_ball line 82
  12. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.ratio_power_card_bound line 94
  13. lemma OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.ratio_le_one line 112
  14. theorem OAI.CriticalPercolation.HomogeneousAnalysis.Geometry.balanced_suborbits line 134