OAI/Probability/SKBarriers/Replicas/PairSplit.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SK.Analytic.pairIndependentHierarchy line 15
  2. def OAI.SK.Analytic.pairIndependentHierarchyAverage line 21
  3. theorem OAI.SK.Analytic.pairIndependentHierarchy_separate line 28
  4. theorem OAI.SK.Analytic.pairIndependentHierarchyAverage_product line 39
  5. def OAI.SK.Analytic.pairCommonHierarchy line 50
  6. def OAI.SK.Analytic.pairCommonHierarchyAverage line 56
  7. theorem OAI.SK.Analytic.pairCommonHierarchy_diagonal line 63
  8. theorem OAI.SK.Analytic.pairCommonHierarchyAverage_diagonal line 71
  9. theorem OAI.SK.Analytic.pairSplit_pressure line 81
  10. theorem OAI.SK.Analytic.pairSplit_overlap line 89