OAI/Geometry/HyperbolicGroups/TriangleEdgeIntersection.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A nondegenerate triangular simplex meets every edge in its boundary.

  1. lemma OAI.HyperbolicObstruction.FinitePolyhedron.Voltage.triangle_boundary_of_edge line 16