OAI/Combinatorics/PolynomialVacuum/Cylinder/ClosedStack.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PolynomialVacuumCylinder.EmptyStackBoundary line 11
  2. theorem OAI.PolynomialVacuumCylinder.empty_vertical_outside line 14
  3. theorem OAI.PolynomialVacuumCylinder.empty_stack_outside line 27
  4. theorem OAI.PolynomialVacuumCylinder.empty_stack_active line 45
  5. theorem OAI.PolynomialVacuumCylinder.empty_stack_legal line 52
  6. theorem OAI.PolynomialVacuumCylinder.closed_domain_boundary line 59
  7. abbrev OAI.PolynomialVacuumCylinder.ClosedStack line 71
  8. def OAI.PolynomialVacuumCylinder.closedStackEquiv line 73