OAI/Combinatorics/HadwigerCounterexample/PartitionSelection.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Partition Selection

  1. abbrev OAI.HadwigerCounterexample.CTile line 13
  2. abbrev OAI.HadwigerCounterexample.Canopy line 14
  3. structure OAI.HadwigerCounterexample.Ripe line 16
  4. def OAI.HadwigerCounterexample.dustPin line 26
  5. theorem OAI.HadwigerCounterexample.first_ripe line 28
  6. theorem OAI.HadwigerCounterexample.ripe_restrict line 45
  7. theorem OAI.HadwigerCounterexample.trim line 80
  8. theorem OAI.HadwigerCounterexample.reparts line 110