OAI/Geometry/Cannon/Modulus/TangentDiskMeet.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonTileTopology.tangent_disk_meet line 11
2. lemma OAI.CannonTileTopology.transformed_disks_touch line 27
3. lemma OAI.CannonTileTopology.packing_balls_disjoint line 46