OAI/Combinatorics/PolynomialVacuum/Cylinder/StackCurrent.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PolynomialVacuumCylinder.extendSpins line 11
  2. theorem OAI.PolynomialVacuumCylinder.extendSpins_nat line 15
  3. theorem OAI.PolynomialVacuumCylinder.extendSpins_outside line 22
  4. def OAI.PolynomialVacuumCylinder.stackValues line 26
  5. def OAI.PolynomialVacuumCylinder.stackEdges line 32
  6. def OAI.PolynomialVacuumCylinder.stackCurrent line 35
  7. theorem OAI.PolynomialVacuumCylinder.stackCurrent_apply line 46
  8. theorem OAI.PolynomialVacuumCylinder.stack_up line 50
  9. theorem OAI.PolynomialVacuumCylinder.stack_down line 58
  10. theorem OAI.PolynomialVacuumCylinder.stack_up_ice line 67
  11. theorem OAI.PolynomialVacuumCylinder.stack_down_ice line 75
  12. theorem OAI.PolynomialVacuumCylinder.stack_row_weight line 83