OAI/Combinatorics/PolynomialVacuum/Cylinder/OrientationEquiv.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PolynomialVacuumCylinder.signed_current_edge_injective line 9
  2. theorem OAI.PolynomialVacuumCylinder.systemCurrent_injective_on line 19
  3. abbrev OAI.PolynomialVacuumCylinder.DisjointSystem line 31
  4. abbrev OAI.PolynomialVacuumCylinder.OrientedSystem line 33
  5. abbrev OAI.PolynomialVacuumCylinder.LegalFlow line 34
  6. def OAI.PolynomialVacuumCylinder.extendedOrientation line 36
  7. def OAI.PolynomialVacuumCylinder.orientedSystemFlow line 39
  8. theorem OAI.PolynomialVacuumCylinder.orientedSystemFlow_injective line 42
  9. theorem OAI.PolynomialVacuumCylinder.orientedSystemFlow_surjective line 57
  10. def OAI.PolynomialVacuumCylinder.orientedSystemEquiv line 72