OAI/Probability/MatroidProphet/Groups.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatroidProphet.MainAlgorithm.mem_groups line 11
2. lemma OAI.MatroidProphet.MainAlgorithm.groups_nodup line 16
3. lemma OAI.MatroidProphet.MainAlgorithm.groups_sorted line 20
4. lemma OAI.MatroidProphet.MainAlgorithm.groups_length line 24
5. lemma OAI.MatroidProphet.MainAlgorithm.groups_get_lt line 28
6. lemma OAI.MatroidProphet.MainAlgorithm.groups_get?_idxOf line 33
7. lemma OAI.MatroidProphet.MainAlgorithm.groups_idxOf_lt_iff line 38
8. lemma OAI.MatroidProphet.MainAlgorithm.groups_earlier_key line 47