OAI/Combinatorics/HadwigerCounterexample/MutualInformation.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Mutual Information

  1. theorem OAI.HadwigerCounterexample.mix_high line 14
  2. theorem OAI.HadwigerCounterexample.mix_overhead line 18
  3. theorem OAI.HadwigerCounterexample.mix_charge line 26
  4. theorem OAI.HadwigerCounterexample.map_banded line 47
  5. theorem OAI.HadwigerCounterexample.tension_banded line 56
  6. theorem OAI.HadwigerCounterexample.banded_overhead line 71
  7. theorem OAI.HadwigerCounterexample.add_charge line 88
  8. theorem OAI.HadwigerCounterexample.tension_add_le line 101