OAI/Probability/MatroidProphet/Algorithm/Statistics.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatroidProphet.MainAlgorithm.pathGroups line 10
2. lemma OAI.MatroidProphet.MainAlgorithm.pathGroups_coe line 15
3. lemma OAI.MatroidProphet.MainAlgorithm.groupMask_eq_inter line 21
4. lemma OAI.MatroidProphet.MainAlgorithm.pathGroups_disjoint line 29
5. def OAI.MatroidProphet.MainAlgorithm.listedLambda line 42
6. def OAI.MatroidProphet.MainAlgorithm.listedZ line 48
7. def OAI.MatroidProphet.MainAlgorithm.trueLambda line 54
8. def OAI.MatroidProphet.MainAlgorithm.trueZ line 59
9. theorem OAI.MatroidProphet.MainAlgorithm.listedLambda_le_count line 64
10. theorem OAI.MatroidProphet.MainAlgorithm.trueLambda_le_count line 85