OAI/Combinatorics/HadwigerCounterexample/DependentPairConcentration.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Dependent Pair Concentration

  1. theorem OAI.HadwigerCounterexample.outlier line 13
  2. def OAI.HadwigerCounterexample.approxData line 25
  3. def OAI.HadwigerCounterexample.thinData line 29
  4. theorem OAI.HadwigerCounterexample.mix_data line 33
  5. theorem OAI.HadwigerCounterexample.paired_spread line 41