OAI/Geometry/HyperbolicGroups/IndexedPictureAppend.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HyperbolicObstruction.WordPictures.WordPicture.Indexing.append_left_boundary line 19
2. lemma OAI.HyperbolicObstruction.WordPictures.WordPicture.Indexing.append_right_boundary line 32
3. def OAI.HyperbolicObstruction.WordPictures.WordPicture.Indexing.appendNonempty line 45
4. lemma OAI.HyperbolicObstruction.WordPictures.WordPicture.Indexing.append_chain line 102