OAI/Probability/MatroidProphet/Algorithm/Mean.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatroidProphet.fairParityExpectation_mono line 10
2. lemma OAI.MatroidProphet.fairParityExpectation_const line 17
3. lemma OAI.MatroidProphet.fairParityExpectation_add line 21
4. lemma OAI.MatroidProphet.fairParityExpectation_mul line 26
5. lemma OAI.MatroidProphet.bitsExpectation_fairParity line 31
6. def OAI.MatroidProphet.MainAlgorithm.mainMean line 41
7. lemma OAI.MatroidProphet.MainAlgorithm.mainMean_mono line 45
8. lemma OAI.MatroidProphet.MainAlgorithm.mainMean_const line 53
9. lemma OAI.MatroidProphet.MainAlgorithm.mainMean_add line 56
10. lemma OAI.MatroidProphet.MainAlgorithm.mainMean_mul line 60
11. lemma OAI.MatroidProphet.MainAlgorithm.mainMean_guard_count line 64