OAI/Combinatorics/PolynomialVacuum/Cylinder/ClosedDomain.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumCylinder.incidentEdges line 9
2. def OAI.PolynomialVacuumCylinder.internalEdges line 11
3. theorem OAI.PolynomialVacuumCylinder.mem_incidentEdges_iff line 14
4. theorem OAI.PolynomialVacuumCylinder.support_internal_iff line 34
5. abbrev OAI.PolynomialVacuumCylinder.ClosedDomainFlow line 47
6. def OAI.PolynomialVacuumCylinder.closedDomainEquiv line 48
7. instance OAI.PolynomialVacuumCylinder.(instance at line 54) line 54
8. theorem OAI.PolynomialVacuumCylinder.closed_domain_partition_one line 59