OAI/Combinatorics/HadwigerCounterexample/CommonPredictions.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Common Predictions

  1. abbrev OAI.HadwigerCounterexample.Augur line 14
  2. def OAI.HadwigerCounterexample.mismatch line 15
  3. def OAI.HadwigerCounterexample.postulates line 18
  4. def OAI.HadwigerCounterexample.yoke line 22
  5. def OAI.HadwigerCounterexample.claimed line 26
  6. def OAI.HadwigerCounterexample.silent line 31
  7. def OAI.HadwigerCounterexample.fixStar line 33
  8. theorem OAI.HadwigerCounterexample.fix_one line 36
  9. theorem OAI.HadwigerCounterexample.atom_silent line 39
  10. theorem OAI.HadwigerCounterexample.shared_base line 55
  11. theorem OAI.HadwigerCounterexample.atom_union line 72
  12. theorem OAI.HadwigerCounterexample.exact_vat line 80