OAI/Combinatorics/PolynomialVacuum/Cylinder/Contour.lean

GitHub source file

29 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PolynomialVacuumCylinder.traced_append line 7
  2. theorem OAI.PolynomialVacuumCylinder.terminalGerm_append line 12
  3. def OAI.PolynomialVacuumCylinder.orientedFlow line 19
  4. theorem OAI.PolynomialVacuumCylinder.orientedFlow_single line 23
  5. theorem OAI.PolynomialVacuumCylinder.orientedFlow_dartFlow line 28
  6. def OAI.PolynomialVacuumCylinder.turnVisit line 35
  7. theorem OAI.PolynomialVacuumCylinder.orientedFlow_wordFlow line 42
  8. theorem OAI.PolynomialVacuumCylinder.turnVisit_eq_zero_of_not_mem line 53
  9. theorem OAI.PolynomialVacuumCylinder.simple_closed_word_local line 67
  10. theorem OAI.PolynomialVacuumCylinder.orientedFlow_up line 80
  11. theorem OAI.PolynomialVacuumCylinder.orientedFlow_down line 91
  12. def OAI.PolynomialVacuumCylinder.RepresentsFlow line 106
  13. theorem OAI.PolynomialVacuumCylinder.closed_word_has_potential line 109
  14. theorem OAI.PolynomialVacuumCylinder.wordFlow_append line 127
  15. theorem OAI.PolynomialVacuumCylinder.closed_word_rotate line 135
  16. def OAI.PolynomialVacuumCylinder.LocalContour line 146
  17. def OAI.PolynomialVacuumCylinder.WordContour line 150
  18. theorem OAI.PolynomialVacuumCylinder.wordContour_of_splits line 154
  19. theorem OAI.PolynomialVacuumCylinder.simple_closed_word_contour line 165
  20. theorem OAI.PolynomialVacuumCylinder.localContour_sides line 178
  21. theorem OAI.PolynomialVacuumCylinder.wordContour_sides line 191
  22. theorem OAI.PolynomialVacuumCylinder.rightFace_reverse line 202
  23. theorem OAI.PolynomialVacuumCylinder.reverseGerm_advance line 205
  24. def OAI.PolynomialVacuumCylinder.canonicalDart line 209
  25. theorem OAI.PolynomialVacuumCylinder.canonicalDart_edgeOf line 211
  26. def OAI.PolynomialVacuumCylinder.SideValues line 217
  27. theorem OAI.PolynomialVacuumCylinder.SideValues.reverse line 221
  28. theorem OAI.PolynomialVacuumCylinder.SideValues.canonical line 225
  29. theorem OAI.PolynomialVacuumCylinder.wordFlow_edge_sides line 232