OAI/GroupTheory/SimpleAmenable/Simplicial/PolygonStringSimplicial.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.PolygonObject.stringSimplicial line 19
2. theorem OAI.SimpleAmenable.PolygonObject.stringSimplicial_face line 29
3. def OAI.SimpleAmenable.PolygonObject.stringDoubleNerve line 32
4. theorem OAI.SimpleAmenable.PolygonObject.stringDoubleNerve_obj line 35