OAI/Combinatorics/KMedian/Binary/BooleanMonomials.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MetricKMedian.SparseBernoulli.flag_zero_or_one line 10
2. theorem OAI.MetricKMedian.SparseBernoulli.flag_mul_self line 14
3. theorem OAI.MetricKMedian.SparseBernoulli.flag_mul_product line 17
4. theorem OAI.MetricKMedian.SparseBernoulli.product_union line 22