OAI/Combinatorics/HadwigerCounterexample/HistogramEnergyScales.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Histogram Energy Scales

  1. theorem OAI.HadwigerCounterexample.log_thrift line 15
  2. theorem OAI.HadwigerCounterexample.div_grows line 33
  3. structure OAI.HadwigerCounterexample.TollBar line 37
  4. theorem OAI.HadwigerCounterexample.toll_calendar line 51