OAI/Combinatorics/PolynomialVacuum/Cylinder/PolygonNetwork.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PolynomialVacuumCylinder.ClosedNetwork.polygon_edges_subset_flow line 12
  2. theorem OAI.PolynomialVacuumCylinder.IceNetwork.exit_of_contour line 31
  3. theorem OAI.PolynomialVacuumCylinder.IceNetwork.enter_of_contour line 37
  4. theorem OAI.PolynomialVacuumCylinder.IceNetwork.contour_edges_in_cycle line 43
  5. theorem OAI.PolynomialVacuumCylinder.IceNetwork.polygon_of_word line 67
  6. def OAI.PolynomialVacuumCylinder.polygonCurrent line 97
  7. theorem OAI.PolynomialVacuumCylinder.polygonCurrent_support line 100
  8. theorem OAI.PolynomialVacuumCylinder.polygonCurrent_localIce line 104
  9. theorem OAI.PolynomialVacuumCylinder.polygon_current_two_orientations line 109