OAI/Probability/Ballisticity/Stationary/ArraySurvival.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.DirectionalTransience.arraySurvivalSum line 13
  2. lemma OAI.DirectionalTransience.arraySurvivalSum_lowerSemicontinuous line 17
  3. def OAI.DirectionalTransience.arraySurvivalThreshold line 24
  4. lemma OAI.DirectionalTransience.arraySurvivalThreshold_continuous line 28
  5. def OAI.DirectionalTransience.survivalViolation line 33
  6. lemma OAI.DirectionalTransience.survivalViolation_open line 38
  7. def OAI.DirectionalTransience.localSurvival line 51
  8. lemma OAI.DirectionalTransience.localSurvival_le_one line 55
  9. lemma OAI.DirectionalTransience.localSurvival_ne_top line 60
  10. lemma OAI.DirectionalTransience.actual_arraySurvivalSum line 64
  11. lemma OAI.DirectionalTransience.localSurvival_mean line 77
  12. lemma OAI.DirectionalTransience.actual_survivalViolation_iff line 88