OAI/Probability/SKBarriers/Hierarchy/AppendTimeGrid.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SK.Analytic.appendTimeGrid line 13
  2. theorem OAI.SK.Analytic.appendTimeGrid_right line 16
  3. theorem OAI.SK.Analytic.appendTimeGrid_left line 20
  4. theorem OAI.SK.Analytic.appendTimeGrid_left_start line 28
  5. theorem OAI.SK.Analytic.appendTimeGrid_left_end line 33
  6. theorem OAI.SK.Analytic.appendTimeGrid_right_start line 38
  7. theorem OAI.SK.Analytic.appendTimeGrid_right_end line 42
  8. theorem OAI.SK.Analytic.appendTimeGrid_monotone line 47
  9. theorem OAI.SK.Analytic.timeGridCoefficients_append line 60
  10. theorem OAI.SK.Analytic.appendTimeGrid_models line 72
  11. theorem OAI.SK.Analytic.scalarCDFOverlap_eq_two_partitions_index line 88