OAI/Combinatorics/PolynomialVacuum/Cylinder/ArcVerticalWeight.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumCylinder.columnTotal_sub line 9
2. theorem OAI.PolynomialVacuumCylinder.columnTotal_neg line 15
3. theorem OAI.PolynomialVacuumCylinder.columnTotal_single line 20
4. theorem OAI.PolynomialVacuumCylinder.columnTotal_dart_vertical line 31
5. theorem OAI.PolynomialVacuumCylinder.columnTotal_word_vertical line 36
6. theorem OAI.PolynomialVacuumCylinder.columnTotal_arc_vertical line 48
7. theorem OAI.PolynomialVacuumCylinder.atPort_start_vertical line 54
8. theorem OAI.PolynomialVacuumCylinder.atPort_weight line 61
9. theorem OAI.PolynomialVacuumCylinder.atPort_vertices line 67