OAI/Combinatorics/PolynomialVacuum/Cylinder/Flow.lean

GitHub source file

29 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PolynomialVacuumCylinder.neighbor_neighbor line 8
  2. theorem OAI.PolynomialVacuumCylinder.reverseGerm_reverseGerm line 12
  3. def OAI.PolynomialVacuumCylinder.upEnd line 16
  4. def OAI.PolynomialVacuumCylinder.downEnd line 17
  5. def OAI.PolynomialVacuumCylinder.dartSign line 19
  6. def OAI.PolynomialVacuumCylinder.dartFlow line 23
  7. def OAI.PolynomialVacuumCylinder.wordFlow line 25
  8. def OAI.PolynomialVacuumCylinder.edgeBoundary line 29
  9. theorem OAI.PolynomialVacuumCylinder.edgeBoundary_single line 32
  10. theorem OAI.PolynomialVacuumCylinder.edgeBoundary_dartFlow line 36
  11. theorem OAI.PolynomialVacuumCylinder.boundary_wordFlow line 41
  12. theorem OAI.PolynomialVacuumCylinder.boundary_up line 50
  13. theorem OAI.PolynomialVacuumCylinder.boundary_down line 59
  14. structure OAI.PolynomialVacuumCylinder.Conserved line 70
  15. theorem OAI.PolynomialVacuumCylinder.closed_word_conserved line 74
  16. def OAI.PolynomialVacuumCylinder.finitePrefix line 85
  17. theorem OAI.PolynomialVacuumCylinder.prefix_single line 88
  18. def OAI.PolynomialVacuumCylinder.shiftDown line 91
  19. theorem OAI.PolynomialVacuumCylinder.shiftDown_zero line 93
  20. theorem OAI.PolynomialVacuumCylinder.shiftDown_add line 94
  21. theorem OAI.PolynomialVacuumCylinder.shiftDown_single line 96
  22. theorem OAI.PolynomialVacuumCylinder.shiftDown_apply line 99
  23. theorem OAI.PolynomialVacuumCylinder.prefix_derivative line 107
  24. theorem OAI.PolynomialVacuumCylinder.prefix_step line 117
  25. def OAI.PolynomialVacuumCylinder.column line 123
  26. theorem OAI.PolynomialVacuumCylinder.column_apply line 125
  27. theorem OAI.PolynomialVacuumCylinder.column_derivative line 128
  28. def OAI.PolynomialVacuumCylinder.potential line 136
  29. theorem OAI.PolynomialVacuumCylinder.potential_gradient line 139