OAI/Combinatorics/HadwigerCounterexample/PhaseClassCompatibility.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Phase Class Compatibility

  1. def OAI.HadwigerCounterexample.PredictionClass.compatible line 14
  2. def OAI.HadwigerCounterexample.PredictionClass.matchUp line 20
  3. theorem OAI.HadwigerCounterexample.PredictionClass.dusk_lit line 24
  4. theorem OAI.HadwigerCounterexample.PredictionClass.meet line 27
  5. def OAI.HadwigerCounterexample.glint line 37
  6. def OAI.HadwigerCounterexample.exactInk line 38
  7. theorem OAI.HadwigerCounterexample.lone line 41
  8. theorem OAI.HadwigerCounterexample.zero_delta line 50
  9. theorem OAI.HadwigerCounterexample.exactInner line 54
  10. theorem OAI.HadwigerCounterexample.delta_dusk line 63
  11. theorem OAI.HadwigerCounterexample.diag_dusk line 75
  12. theorem OAI.HadwigerCounterexample.fade line 89
  13. theorem OAI.HadwigerCounterexample.tiny_morn line 112