OAI/Geometry/Cannon/CirclePacking/StrictCutsGiveAngles.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Strict cut inequalities yield coherent angles and circle radii.

  1. theorem OAI.CannonPackingGeometry.strict_cuts_give_angles line 18
  2. theorem OAI.CannonPackingGeometry.strict_cuts_give_radii line 96