OAI/Probability/CriticalPercolation/Criticality/GrowthProcess.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.CriticalPercolation.Corridor.Scheme line 18
  2. def OAI.CriticalPercolation.Corridor.Scheme.block line 31
  3. def OAI.CriticalPercolation.Corridor.Scheme.edgeDomain line 33
  4. def OAI.CriticalPercolation.Corridor.Scheme.enlarged line 35
  5. def OAI.CriticalPercolation.Corridor.Scheme.hit line 37
  6. def OAI.CriticalPercolation.Corridor.Scheme.incomingHit line 39
  7. def OAI.CriticalPercolation.Corridor.Scheme.nextHit line 41
  8. def OAI.CriticalPercolation.Corridor.Scheme.accepted line 44
  9. lemma OAI.CriticalPercolation.Corridor.Scheme.accepted_measurable line 48
  10. lemma OAI.CriticalPercolation.Corridor.Scheme.accepted_iff line 55
  11. def OAI.CriticalPercolation.Corridor.Scheme.rule line 75
  12. lemma OAI.CriticalPercolation.Corridor.Scheme.state_valid line 86
  13. lemma OAI.CriticalPercolation.Corridor.Scheme.state_covered line 91
  14. lemma OAI.CriticalPercolation.Corridor.Scheme.block_enlarged line 97
  15. lemma OAI.CriticalPercolation.Corridor.Scheme.block_advance line 101
  16. lemma OAI.CriticalPercolation.Corridor.Scheme.enlarged_incoming line 104
  17. def OAI.CriticalPercolation.Corridor.Scheme.rootEvent line 108
  18. lemma OAI.CriticalPercolation.Corridor.Scheme.rootEvent_measurable line 112
  19. lemma OAI.CriticalPercolation.Corridor.Scheme.rootEvent_history line 119