OAI/Combinatorics/PolynomialVacuum/Cylinder/Support.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PolynomialVacuumCylinder.orientedFlow_eq line 8
  2. theorem OAI.PolynomialVacuumCylinder.wordFlow_support_subset line 13
  3. theorem OAI.PolynomialVacuumCylinder.wordContour_edge_nonzero line 26
  4. theorem OAI.PolynomialVacuumCylinder.simple_word_support line 43
  5. theorem OAI.PolynomialVacuumCylinder.DualAdjacent.symm line 50
  6. theorem OAI.PolynomialVacuumCylinder.dualReach_symm line 55
  7. theorem OAI.PolynomialVacuumCylinder.dualAdjacent_of_zero line 62
  8. theorem OAI.PolynomialVacuumCylinder.localContour_side_reach line 79
  9. theorem OAI.PolynomialVacuumCylinder.wordContour_side_reach line 95