OAI/Combinatorics/PolynomialVacuum/Cylinder/NetworkComponents.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumCylinder.ClosedNetwork.polygon_eq_iff line 10
2. def OAI.PolynomialVacuumCylinder.ClosedNetwork.cycleSites line 18
3. theorem OAI.PolynomialVacuumCylinder.ClosedNetwork.mem_cycleSites line 21
4. theorem OAI.PolynomialVacuumCylinder.ClosedNetwork.cycleSites_eq_orbit line 25
5. def OAI.PolynomialVacuumCylinder.ClosedNetwork.componentFlow line 40
6. theorem OAI.PolynomialVacuumCylinder.ClosedNetwork.componentFlow_word line 43
7. theorem OAI.PolynomialVacuumCylinder.ClosedNetwork.flow_sum_components line 50
8. theorem OAI.PolynomialVacuumCylinder.ClosedNetwork.componentFlow_support line 56