OAI/Combinatorics/PolynomialVacuum/Cylinder/ArcClassification.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumCylinder.BoundaryArc.mapBand line 9
2. def OAI.PolynomialVacuumCylinder.BoundaryArc.port line 38
3. theorem OAI.PolynomialVacuumCylinder.BoundaryArc.start_port line 43
4. theorem OAI.PolynomialVacuumCylinder.BoundaryArc.terminal_ports line 53
5. def OAI.PolynomialVacuumCylinder.BoundaryArc.normalized line 76
6. theorem OAI.PolynomialVacuumCylinder.BoundaryArc.normalized_word line 82
7. theorem OAI.PolynomialVacuumCylinder.BoundaryArc.normalized_start line 85
8. theorem OAI.PolynomialVacuumCylinder.BoundaryArc.word_shape line 90