OAI/Probability/MatroidProphet/GroupSafety.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatroidProphet.MainAlgorithm.groupGround line 12
2. lemma OAI.MatroidProphet.MainAlgorithm.mem_groupGround line 16
3. lemma OAI.MatroidProphet.MainAlgorithm.groupGround_disjoint line 22
4. lemma OAI.MatroidProphet.MainAlgorithm.groupMask_eq_inter_ground line 34
5. lemma OAI.MatroidProphet.MainAlgorithm.listedSafeStatistic_guards line 40
6. lemma OAI.MatroidProphet.MainAlgorithm.unlisted_density_inter_empty line 61
7. theorem OAI.MatroidProphet.MainAlgorithm.listedSafeStatistic_fixed_density line 69
8. theorem OAI.MatroidProphet.MainAlgorithm.listedSafeStatistic_lower line 116