OAI/Combinatorics/PolynomialVacuum/Cylinder/ArcEncoding.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumCylinder.BoundaryArc.shape line 11
2. theorem OAI.PolynomialVacuumCylinder.BoundaryArc.shape_word line 15
3. theorem OAI.PolynomialVacuumCylinder.BoundaryArc.shape_mass line 21
4. theorem OAI.PolynomialVacuumCylinder.BoundaryArc.eq_of_port_shape line 24
5. theorem OAI.PolynomialVacuumCylinder.ArcSystem.port_injective line 33
6. def OAI.PolynomialVacuumCylinder.ArcSystem.code line 39
7. theorem OAI.PolynomialVacuumCylinder.ArcSystem.code_member line 42
8. theorem OAI.PolynomialVacuumCylinder.ArcSystem.code_empty line 48
9. theorem OAI.PolynomialVacuumCylinder.ArcSystem.code_injective line 51
10. theorem OAI.PolynomialVacuumCylinder.ArcSystem.norm_weight_code line 66