OAI/Combinatorics/PolynomialVacuum/Cylinder/LocalTurn.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumCylinder.cubicTurn line 10
2. def OAI.PolynomialVacuumCylinder.localTurn line 11
3. theorem OAI.PolynomialVacuumCylinder.cubicTurn_zero line 14
4. theorem OAI.PolynomialVacuumCylinder.cubicTurn_neg line 15
5. theorem OAI.PolynomialVacuumCylinder.localTurn_neg line 27
6. theorem OAI.PolynomialVacuumCylinder.localTurn_contour line 30
7. theorem OAI.PolynomialVacuumCylinder.contour_turns line 36
8. theorem OAI.PolynomialVacuumCylinder.polygon_turn_sum line 45