OAI/Geometry/HyperbolicGroups/ActualLayers.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HyperbolicObstruction.card_layer_le_support line 13
2. lemma OAI.HyperbolicObstruction.ConeSkeleton.actual_top_layer line 37
3. lemma OAI.HyperbolicObstruction.ConeSkeleton.actual_square_layer line 42
4. lemma OAI.HyperbolicObstruction.ConeSkeleton.actual_six_layer line 47
5. lemma OAI.HyperbolicObstruction.ConeSkeleton.actual_fan_layer line 53
6. lemma OAI.HyperbolicObstruction.ConeSkeleton.actual_layer_bounds line 82