OAI/Combinatorics/PolynomialVacuum/Cylinder/ThreeSeams.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumCylinder.loopTurnPhase line 12
2. theorem OAI.PolynomialVacuumCylinder.loopTurnPhase_zero line 15
3. theorem OAI.PolynomialVacuumCylinder.loopTurnPhase_six line 16
4. theorem OAI.PolynomialVacuumCylinder.loopTurnPhase_neg_six line 19
5. theorem OAI.PolynomialVacuumCylinder.zeta_eq_I line 25
6. def OAI.PolynomialVacuumCylinder.threeSeamFactor line 31
7. lemma OAI.PolynomialVacuumCylinder.threeSeam_sum line 34
8. def OAI.PolynomialVacuumCylinder.seamCrossing line 48
9. theorem OAI.PolynomialVacuumCylinder.seamCrossing_telescope line 53
10. theorem OAI.PolynomialVacuumCylinder.simple_cylinder_orientation_sum line 63