OAI/Combinatorics/HadwigerCounterexample/PointAtomVanishing.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Point Atom Vanishing

  1. theorem OAI.HadwigerCounterexample.pointPoly line 15
  2. theorem OAI.HadwigerCounterexample.vat_erase line 41
  3. theorem OAI.HadwigerCounterexample.vat_excluded line 79