OAI/Combinatorics/PolynomialVacuum/Cylinder/BottomCalibration.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumCylinder.cylLayer line 10
2. theorem OAI.PolynomialVacuumCylinder.cylLayer_project line 11
3. lemma OAI.PolynomialVacuumCylinder.closed_flow_below line 13
4. lemma OAI.PolynomialVacuumCylinder.potential_below line 25
5. lemma OAI.PolynomialVacuumCylinder.plane_potential_below line 38
6. lemma OAI.PolynomialVacuumCylinder.bottom_cylinder_sign line 77
7. lemma OAI.PolynomialVacuumCylinder.bottom_contractible_turn line 107