OAI/Combinatorics/HadwigerCounterexample/PredictionExtraction.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Prediction Extraction

  1. structure OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.countStory line 17
  2. structure OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.Stirrings line 25
  3. theorem OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.counter_bill line 30
  4. theorem OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.tells line 42
  5. abbrev OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.Dict line 57
  6. def OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.anthology line 58
  7. theorem OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.build_anthology line 65
  8. def OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.Pulsar.shift line 89
  9. abbrev OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.Snip line 91
  10. abbrev OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.Memo line 92
  11. theorem OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.memo_card line 93
  12. def OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.Memo.words line 95
  13. theorem OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.praise_tidy line 98
  14. def OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.announced line 128
  15. theorem OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.quotes line 133