OAI/Geometry/Cannon/CirclePacking/TrianglePoint.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonPackingGeometry.half_cos_pos line 12
2. theorem OAI.CannonPackingGeometry.intrinsic_inradius_identity line 15
3. theorem OAI.CannonPackingGeometry.intrinsic_cosine_law line 43
4. def OAI.CannonPackingGeometry.trianglePoint line 68
5. theorem OAI.CannonPackingGeometry.intrinsic_triangle line 70
6. def OAI.CannonPackingGeometry.cornerAngle line 108
7. lemma OAI.CannonPackingGeometry.cornerAngle_at line 113
8. lemma OAI.CannonPackingGeometry.cornerAngle_zero line 124
9. lemma OAI.CannonPackingGeometry.sum_cornerAngle line 131
10. theorem OAI.CannonPackingGeometry.intrinsic_cosine_law_fin3 line 142