OAI/Combinatorics/PolynomialVacuum/Cylinder/Indicator.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumCylinder.flowRadius line 8
2. theorem OAI.PolynomialVacuumCylinder.flow_support_height line 11
3. theorem OAI.PolynomialVacuumCylinder.finitePrefix_eq_zero line 18
4. theorem OAI.PolynomialVacuumCylinder.potential_bottom_zero line 26
5. theorem OAI.PolynomialVacuumCylinder.bottom_potential_two_values line 36
6. theorem OAI.PolynomialVacuumCylinder.simple_closed_word_indicator line 73