OAI/Combinatorics/PolynomialVacuum/Cylinder/WeightFactor.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumCylinder.columnTotal_add line 10
2. theorem OAI.PolynomialVacuumCylinder.local_weight_zero line 16
3. theorem OAI.PolynomialVacuumCylinder.local_weight_add line 22
4. theorem OAI.PolynomialVacuumCylinder.domainWeight_add line 35
5. theorem OAI.PolynomialVacuumCylinder.traced_length line 51
6. theorem OAI.PolynomialVacuumCylinder.contour_active line 56
7. theorem OAI.PolynomialVacuumCylinder.BoundaryArc.domain_active line 74
8. theorem OAI.PolynomialVacuumCylinder.BoundaryArc.domain_turn line 85
9. def OAI.PolynomialVacuumCylinder.BoundaryArc.weight line 96
10. theorem OAI.PolynomialVacuumCylinder.BoundaryArc.domain_weight line 99