OAI/Geometry/Convex/GeneralMahler/Brouwer/Color.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Incidence parity implies a full room for every coloring.

  1. lemma OAI.GeneralMahler.Scarf.erase_door line 12
  2. lemma OAI.GeneralMahler.Scarf.two_if_not_colorful line 19
  3. lemma OAI.GeneralMahler.Scarf.count_unique line 63
  4. lemma OAI.GeneralMahler.Scarf.count_two line 70
  5. theorem OAI.GeneralMahler.Scarf.full_room line 83