OAI/Combinatorics/HadwigerCounterexample/SyntheticParity.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Synthetic Parity

  1. abbrev OAI.HadwigerCounterexample.Hue line 14
  2. def OAI.HadwigerCounterexample.beamMap line 15
  3. def OAI.HadwigerCounterexample.jet line 18
  4. abbrev OAI.HadwigerCounterexample.incarn line 19
  5. def OAI.HadwigerCounterexample.plumeDiff line 20
  6. def OAI.HadwigerCounterexample.arches line 23
  7. theorem OAI.HadwigerCounterexample.quad_cross_gen line 31
  8. theorem OAI.HadwigerCounterexample.arches_from line 39
  9. theorem OAI.HadwigerCounterexample.arches_rank line 56
  10. theorem OAI.HadwigerCounterexample.arches_beam line 64
  11. def OAI.HadwigerCounterexample.libColor line 80
  12. def OAI.HadwigerCounterexample.libPredict line 83
  13. def OAI.HadwigerCounterexample.libAug line 85
  14. theorem OAI.HadwigerCounterexample.lib_see line 89