OAI/GroupTheory/SimpleAmenable/Simplicial/PolygonBarFaces.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.PolygonObject.deleteVertex_obj line 18
2. theorem OAI.SimpleAmenable.PolygonObject.increments_first_face line 21
3. theorem OAI.SimpleAmenable.PolygonObject.increments_last_face line 28
4. theorem OAI.SimpleAmenable.PolygonObject.increments_interior_face line 36
5. theorem OAI.SimpleAmenable.PolygonObject.first_face_initial_position line 48
6. theorem OAI.SimpleAmenable.PolygonObject.nonfirst_face_initial_position line 57
7. def OAI.SimpleAmenable.PolygonObject.duplicateVertex line 65
8. def OAI.SimpleAmenable.PolygonObject.stringDegeneracy line 68
9. theorem OAI.SimpleAmenable.PolygonObject.duplicateVertex_obj line 71
10. theorem OAI.SimpleAmenable.PolygonObject.increments_degeneracy line 74