OAI/Geometry/Cannon/Boundary/UnitCircle.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CannonCircleBoundary.real_interval_bounded line 53
  2. lemma OAI.CannonCircleBoundary.onePoint_boundary_unique line 67
  3. abbrev OAI.CannonCircleBoundary.UnitCircle line 94
  4. def OAI.CannonCircleBoundary.circleChart line 96
  5. lemma OAI.CannonCircleBoundary.circleChart_infty line 106
  6. theorem OAI.CannonCircleBoundary.circle_boundary_no_three line 109
  7. abbrev OAI.CannonCircleBoundary.Punctured line 137
  8. def OAI.CannonCircleBoundary.radialDirection line 139
  9. lemma OAI.CannonCircleBoundary.radialDirection_continuous line 144
  10. lemma OAI.CannonCircleBoundary.radialDirection_reconstruct line 150
  11. lemma OAI.CannonCircleBoundary.radial_ne line 156
  12. lemma OAI.CannonCircleBoundary.radialDirection_radial line 165
  13. theorem OAI.CannonCircleBoundary.radial_face_degree_two line 172