OAI/Combinatorics/PolynomialVacuum/Cylinder/Translation.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PolynomialVacuumCylinder.verticalFace line 9
  2. def OAI.PolynomialVacuumCylinder.verticalEdge line 10
  3. def OAI.PolynomialVacuumCylinder.verticalEdgeEquiv line 12
  4. def OAI.PolynomialVacuumCylinder.verticalFaceEquiv line 18
  5. theorem OAI.PolynomialVacuumCylinder.vertical_edgeOf line 24
  6. theorem OAI.PolynomialVacuumCylinder.vertical_leftFace line 29
  7. theorem OAI.PolynomialVacuumCylinder.vertical_reverse line 34
  8. theorem OAI.PolynomialVacuumCylinder.vertical_rightFace line 38
  9. theorem OAI.PolynomialVacuumCylinder.vertical_tracedEdges line 42
  10. theorem OAI.PolynomialVacuumCylinder.vertical_isPolygon line 53
  11. def OAI.PolynomialVacuumCylinder.verticalPolygon line 62
  12. theorem OAI.PolynomialVacuumCylinder.verticalPolygon_comp line 65
  13. theorem OAI.PolynomialVacuumCylinder.verticalPolygon_zero line 73
  14. def OAI.PolynomialVacuumCylinder.verticalPolygonEquiv line 79
  15. theorem OAI.PolynomialVacuumCylinder.vertical_edgeVertices line 85
  16. theorem OAI.PolynomialVacuumCylinder.verticalPolygon_vertices line 92
  17. theorem OAI.PolynomialVacuumCylinder.vertical_dualAdjacent line 96
  18. theorem OAI.PolynomialVacuumCylinder.vertical_separates line 122