OAI/Geometry/Cannon/CirclePacking/Radius.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CannonNode.radius line 22
2. lemma OAI.CannonNode.radius_pos line 24
3. lemma OAI.CannonNode.radius_add line 26
4. lemma OAI.CannonNode.radius_ratio line 30
5. lemma OAI.CannonNode.radius_sub_ratio line 35
6. lemma OAI.CannonNode.radius_antitone line 41
7. lemma OAI.CannonNode.radius_eq_power line 47
8. lemma OAI.CannonNode.radius_tendsto line 53
9. lemma OAI.CannonNode.nat_mul_tendsto line 59
10. theorem OAI.CannonNode.eventually_flow_scales line 66