OAI/Combinatorics/HadwigerCounterexample/FixedPositionTests.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Fixed Position Tests

  1. def OAI.HadwigerCounterexample.Template.bolts line 17
  2. def OAI.HadwigerCounterexample.Template.boundTail line 22
  3. def OAI.HadwigerCounterexample.Template.scriptTail line 24
  4. theorem OAI.HadwigerCounterexample.Template.bolts_split line 28
  5. def OAI.HadwigerCounterexample.Template.huts line 56
  6. theorem OAI.HadwigerCounterexample.Template.read_split line 63
  7. def OAI.HadwigerCounterexample.Template.nib line 81
  8. def OAI.HadwigerCounterexample.Template.lintel line 84
  9. theorem OAI.HadwigerCounterexample.Template.earns_split line 89