OAI/Combinatorics/KMedian/Process/CountGeometry.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MetricKMedian.CountGeometry.overlap line 12
2. theorem OAI.MetricKMedian.CountGeometry.overlap_self line 16
3. theorem OAI.MetricKMedian.CountGeometry.overlap_symm line 18
4. theorem OAI.MetricKMedian.CountGeometry.truncated_union line 25
5. theorem OAI.MetricKMedian.CountGeometry.overlap_row_bound line 46
6. theorem OAI.MetricKMedian.CountGeometry.scaled_overlap_row_bound line 77
7. theorem OAI.MetricKMedian.CountGeometry.selected_mass_bound line 88