OAI/Combinatorics/HadwigerCounterexample/PredictionExactification.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Prediction Exactification

  1. def OAI.HadwigerCounterexample.tabErr line 13
  2. def OAI.HadwigerCounterexample.tabRef line 18
  3. theorem OAI.HadwigerCounterexample.tabCalendar line 21
  4. def OAI.HadwigerCounterexample.whisper line 42
  5. theorem OAI.HadwigerCounterexample.hushCalendar line 45
  6. theorem OAI.HadwigerCounterexample.hush_vat line 66