OAI/Probability/SATVariance/ShuffleAverages.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RandomKSAT.listAvg line 13
  2. lemma OAI.RandomKSAT.listAvg_eq_favg line 16
  3. lemma OAI.RandomKSAT.listAvg_const line 26
  4. lemma OAI.RandomKSAT.listAvg_congr line 32
  5. lemma OAI.RandomKSAT.listAvg_perm line 37
  6. lemma OAI.RandomKSAT.listAvg_mono line 42
  7. lemma OAI.RandomKSAT.listAvg_nonneg line 47
  8. lemma OAI.RandomKSAT.listAvg_add line 52
  9. lemma OAI.RandomKSAT.listAvg_sub line 56
  10. lemma OAI.RandomKSAT.listAvg_mul line 60
  11. lemma OAI.RandomKSAT.listAvg_sq_le line 64
  12. lemma OAI.RandomKSAT.listAvg_flatMap line 70
  13. lemma OAI.RandomKSAT.permutations'_length line 101
  14. lemma OAI.RandomKSAT.permutations'_ne_nil line 104
  15. def OAI.RandomKSAT.shuffleAvg line 108
  16. lemma OAI.RandomKSAT.shuffleAvg_const line 110
  17. lemma OAI.RandomKSAT.shuffleAvg_perm line 113
  18. lemma OAI.RandomKSAT.shuffleAvg_congr line 116
  19. lemma OAI.RandomKSAT.shuffleAvg_mono line 120
  20. lemma OAI.RandomKSAT.shuffleAvg_nonneg line 124
  21. lemma OAI.RandomKSAT.shuffleAvg_add line 128
  22. lemma OAI.RandomKSAT.shuffleAvg_sub line 130
  23. lemma OAI.RandomKSAT.shuffleAvg_mul line 132
  24. lemma OAI.RandomKSAT.shuffleAvg_sq_le line 135
  25. lemma OAI.RandomKSAT.listAvg_permutationsAux line 139
  26. lemma OAI.RandomKSAT.shuffleAvg_cons line 151
  27. lemma OAI.RandomKSAT.ofFn_insertNth line 165
  28. lemma OAI.RandomKSAT.favg_shuffle line 180