OAI/Combinatorics/HadwigerCounterexample/PreparationConditions.lean

GitHub source file

35 declarations, 0 contain sorry, 0 declared as axioms

Preparation Conditions

  1. structure OAI.HadwigerCounterexample.PreparationParameters line 15
  2. def OAI.HadwigerCounterexample.PreparationParameters.pins line 27
  3. def OAI.HadwigerCounterexample.PreparationParameters.rank line 28
  4. def OAI.HadwigerCounterexample.PreparationParameters.leafOld line 30
  5. def OAI.HadwigerCounterexample.PreparationParameters.leafNew line 31
  6. def OAI.HadwigerCounterexample.PreparationParameters.spJoint line 32
  7. def OAI.HadwigerCounterexample.PreparationParameters.spear line 34
  8. structure OAI.HadwigerCounterexample.PreparationParameters.allows line 36
  9. abbrev OAI.HadwigerCounterexample.PreparationParameters.tale line 43
  10. abbrev OAI.HadwigerCounterexample.PreparationParameters.rhythms line 44
  11. abbrev OAI.HadwigerCounterexample.PreparationParameters.cycleM line 45
  12. def OAI.HadwigerCounterexample.PreparationParameters.frameSide line 47
  13. def OAI.HadwigerCounterexample.PreparationParameters.usual line 49
  14. structure OAI.HadwigerCounterexample.PreparationParameters.nascent line 52
  15. structure OAI.HadwigerCounterexample.PreparationParameters.entered line 58
  16. structure OAI.HadwigerCounterexample.PreparationParameters.durable line 64
  17. def OAI.HadwigerCounterexample.PreparationParameters.seems line 70
  18. def OAI.HadwigerCounterexample.PreparationParameters.predicts line 77
  19. def OAI.HadwigerCounterexample.PreparationParameters.silenceOutcome line 81
  20. structure OAI.HadwigerCounterexample.PreparationParameters.Sketch line 87
  21. def OAI.HadwigerCounterexample.PreparationParameters.engrave line 96
  22. structure OAI.HadwigerCounterexample.PreparationParameters.ledger line 101
  23. structure OAI.HadwigerCounterexample.PreparationParameters.bright line 106
  24. def OAI.HadwigerCounterexample.PreparationParameters.matchProg line 111
  25. def OAI.HadwigerCounterexample.PreparationParameters.glow line 113
  26. def OAI.HadwigerCounterexample.PreparationParameters.gleam line 115
  27. def OAI.HadwigerCounterexample.PreparationParameters.gilded line 118
  28. theorem OAI.HadwigerCounterexample.PreparationParameters.gilding line 122
  29. def OAI.HadwigerCounterexample.PreparationParameters.glowOutcome line 133
  30. def OAI.HadwigerCounterexample.PreparationParameters.hardened line 137
  31. def OAI.HadwigerCounterexample.PreparationParameters.glimmer line 143
  32. def OAI.HadwigerCounterexample.PreparationParameters.predOutcome line 148
  33. def OAI.HadwigerCounterexample.PreparationParameters.intern line 152
  34. def OAI.HadwigerCounterexample.PreparationParameters.outside line 157
  35. structure OAI.HadwigerCounterexample.PreparationParameters.planted line 163