OAI/Combinatorics/PolynomialVacuum/Cylinder/ClosedCancellation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumCylinder.emptyBoundedSystem line 9
2. theorem OAI.PolynomialVacuumCylinder.not_separates_self line 13
3. theorem OAI.PolynomialVacuumCylinder.closed_partition_one line 18
4. def OAI.PolynomialVacuumCylinder.uniformSeamWeight line 35
5. theorem OAI.PolynomialVacuumCylinder.currentWeight_above line 41
6. theorem OAI.PolynomialVacuumCylinder.uniform_closed_partition_one line 53