OAI/Probability/StrongRayleigh/TwoCoordinateCoefficients.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem336AdditiveD139.twoCoordinateCoefficient line 15
  2. lemma OAI.Problem336AdditiveD139.binary_pair_sum line 23
  3. def OAI.Problem336AdditiveD139.twoCoordinateField line 36
  4. lemma OAI.Problem336AdditiveD139.monomial_two_coordinates line 40
  5. lemma OAI.Problem336AdditiveD139.weighted_generating_two_coordinates line 61
  6. lemma OAI.Problem336AdditiveD139.finiteGeneratingValue_two_coordinates line 76
  7. lemma OAI.Problem336AdditiveD139.continuous_twoCoordinateCoefficient line 91
  8. def OAI.Problem336AdditiveD139.twoCoordinateWeight line 104
  9. lemma OAI.Problem336AdditiveD139.twoCoordinateWeight_total line 108
  10. lemma OAI.Problem336AdditiveD139.twoCoordinateWeight_first line 120
  11. lemma OAI.Problem336AdditiveD139.twoCoordinateWeight_second line 130
  12. lemma OAI.Problem336AdditiveD139.twoCoordinateWeight_both line 140
  13. lemma OAI.Problem336AdditiveD139.binary_covariance_eq_pair_determinant line 149
  14. lemma OAI.Problem336AdditiveD139.twoCoordinateWeight_cast_eq_coefficient line 164