OAI/Combinatorics/HadwigerCounterexample/TesterSummaryMass.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Tester Summary Mass

  1. theorem OAI.HadwigerCounterexample.draws_unif line 15
  2. theorem OAI.HadwigerCounterexample.tested_fraction line 21
  3. def OAI.HadwigerCounterexample.scanPrice line 73
  4. theorem OAI.HadwigerCounterexample.scan_fraction line 75
  5. def OAI.HadwigerCounterexample.canDial line 93
  6. theorem OAI.HadwigerCounterexample.dial_fraction line 96
  7. theorem OAI.HadwigerCounterexample.scanPrice_pos line 103
  8. theorem OAI.HadwigerCounterexample.dial_law line 105
  9. theorem OAI.HadwigerCounterexample.generic_summary line 110