OAI/Combinatorics/KMedian/Sparse/SparseCountStatistic.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MetricKMedian.SparseBernoulli.countSets line 13
2. def OAI.MetricKMedian.SparseBernoulli.countCoefficients line 17
3. theorem OAI.MetricKMedian.SparseBernoulli.countSets_card line 21
4. theorem OAI.MetricKMedian.SparseBernoulli.count_polynomial line 27
5. theorem OAI.MetricKMedian.SparseBernoulli.cast_flag line 43
6. theorem OAI.MetricKMedian.SparseBernoulli.cast_count_polynomial line 47
7. theorem OAI.MetricKMedian.SparseBernoulli.count_mean line 54
8. theorem OAI.MetricKMedian.SparseBernoulli.count_variance line 64
9. theorem OAI.MetricKMedian.SparseBernoulli.count_failure line 73