OAI/Combinatorics/PolynomialVacuum/Cylinder/BoundaryCanonical.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumCylinder.BoundaryDecomposition.arcs_nodup line 11
2. theorem OAI.PolynomialVacuumCylinder.BoundaryDecomposition.arcs_perm line 18
3. theorem OAI.PolynomialVacuumCylinder.BoundaryDecomposition.closed_unique line 23
4. theorem OAI.PolynomialVacuumCylinder.BoundaryDecomposition.arcs_empty_of_boundary_zero line 31
5. theorem OAI.PolynomialVacuumCylinder.BoundaryDecomposition.global_ice_of_boundary_zero line 41