OAI/Combinatorics/KMedian/Hardness/TwoChoices.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MetricKMedian.Coverage.card_two_constraints line 10
2. theorem OAI.MetricKMedian.Coverage.two_choice_event_count line 36
3. theorem OAI.MetricKMedian.Coverage.two_choice_event_bound line 75
4. theorem OAI.MetricKMedian.Coverage.two_choice_or_trivial_event_bound line 94