OAI/Combinatorics/HadwigerCounterexample/PhaseMomentBounds.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Phase Moment Bounds

  1. theorem OAI.HadwigerCounterexample.poweravg line 13
  2. def OAI.HadwigerCounterexample.sweep line 19
  3. theorem OAI.HadwigerCounterexample.phase_power line 22
  4. theorem OAI.HadwigerCounterexample.abs_sweep line 41
  5. def OAI.HadwigerCounterexample.exponentErr line 48
  6. theorem OAI.HadwigerCounterexample.rare_sweep line 52
  7. theorem OAI.HadwigerCounterexample.epoch_count line 99
  8. def OAI.HadwigerCounterexample.noSweepBudget line 119
  9. theorem OAI.HadwigerCounterexample.pitch_no_cover line 123