OAI/Combinatorics/PolynomialVacuum/Cylinder/BoundaryDecomposition.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.PolynomialVacuumCylinder.BoundaryArc line 10
2. def OAI.PolynomialVacuumCylinder.BoundaryArc.vertices line 22
3. def OAI.PolynomialVacuumCylinder.BoundaryArc.current line 24
4. def OAI.PolynomialVacuumCylinder.OpenIce.boundaryArc line 31
5. theorem OAI.PolynomialVacuumCylinder.OpenIce.boundaryArc_vertices line 60
6. theorem OAI.PolynomialVacuumCylinder.OpenIce.boundaryArc_current line 62
7. structure OAI.PolynomialVacuumCylinder.BoundaryDecomposition line 68
8. theorem OAI.PolynomialVacuumCylinder.boundary_decomposition line 81