OAI/Combinatorics/PolynomialVacuum/Cylinder/HalfArcs.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumCylinder.halfArchToBand line 11
2. def OAI.PolynomialVacuumCylinder.atPort line 49
3. theorem OAI.PolynomialVacuumCylinder.atPort_word line 58
4. theorem OAI.PolynomialVacuumCylinder.atPort_start line 60
5. theorem OAI.PolynomialVacuumCylinder.atPort_port line 64
6. theorem OAI.PolynomialVacuumCylinder.atPort_shape line 70
7. theorem OAI.PolynomialVacuumCylinder.eq_atPort_of_shape line 76