OAI/Probability/SKBarriers/Replicas/TripleRetainedStats.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.SK.Analytic.sum_get_map line 14
  2. theorem OAI.SK.Analytic.mass_get_monotone line 20
  3. theorem OAI.SK.Analytic.tripleRetainedPrefix_image line 29
  4. theorem OAI.SK.Analytic.tripleRetainedPrefix_mass line 34
  5. theorem OAI.SK.Analytic.tripleRetainedPrefix_monotone line 42
  6. def OAI.SK.Analytic.weightedAbsCross line 51
  7. theorem OAI.SK.Analytic.tripleRetainedMiddle_variance line 53
  8. theorem OAI.SK.Analytic.tripleRetainedMiddle_score line 62
  9. theorem OAI.SK.Analytic.tripleRetainedPrefix_variance line 72
  10. theorem OAI.SK.Analytic.tripleRetainedPrefix_score line 79