OAI/Geometry/Cannon/PlaneTopology/InteriorRadiusControl.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonEmbeddedArc.Arc.DevelopedFaces.interior_radius_control line 20
2. theorem OAI.CannonEmbeddedArc.Arc.exists_interior_radius_constant line 119
3. theorem OAI.CannonEmbeddedArc.Arc.DevelopedFaces.boundary_corner_equation line 147
4. theorem OAI.CannonEmbeddedArc.Arc.DevelopedFaces.outer_radius_eq line 267