OAI/Combinatorics/KMedianRecovery/Recovery/BitCount.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MetricKMedianRecovery.GlobalAssembly.bitCount line 12
2. lemma OAI.MetricKMedianRecovery.GlobalAssembly.absolute_gap_pos line 19
3. theorem OAI.MetricKMedianRecovery.GlobalAssembly.global_semantic_fair_experiment line 21
4. def OAI.MetricKMedianRecovery.Categorical.stepCoefficient line 66
5. def OAI.MetricKMedianRecovery.Categorical.sampleCoefficient line 67
6. lemma OAI.MetricKMedianRecovery.Categorical.step_polynomial_bound line 70
7. lemma OAI.MetricKMedianRecovery.Categorical.exponent_polynomial_bound line 86
8. lemma OAI.MetricKMedianRecovery.Categorical.sample_polynomial_bound line 90
9. def OAI.MetricKMedianRecovery.Categorical.completionOracleBits line 116
10. lemma OAI.MetricKMedianRecovery.Categorical.completionOracleBits_polynomial line 120