OAI/Probability/DirectionalWalk/ExperimentContact.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.DirectionalZeroOne.property_of_atom line 12
  2. lemma OAI.DirectionalZeroOne.windowCommonLaw_support line 18
  3. lemma OAI.DirectionalZeroOne.listCommonCount_le_height line 31
  4. lemma OAI.DirectionalZeroOne.experimentLaw_fourWindows line 42
  5. lemma OAI.DirectionalZeroOne.axisHeight_listTotal line 55
  6. lemma OAI.DirectionalZeroOne.axisHeight_pairTotal line 74
  7. lemma OAI.DirectionalZeroOne.axisHeight_signedTotal line 82
  8. lemma OAI.DirectionalZeroOne.experimentLaw_axis_support line 93
  9. lemma OAI.DirectionalZeroOne.experiment_height_moment line 138
  10. lemma OAI.DirectionalZeroOne.axis_renewal_tail_bound_ennreal line 185
  11. def OAI.DirectionalZeroOne.experimentContact line 198
  12. lemma OAI.DirectionalZeroOne.experimentReference_contact_bound line 202
  13. lemma OAI.DirectionalZeroOne.axisBridgeWords_prefixFree line 295
  14. lemma OAI.DirectionalZeroOne.prefix_contact_total_bound line 302
  15. lemma OAI.DirectionalZeroOne.conditioned_negative_shift line 333