OAI/Geometry/Cannon/CirclePacking/SplitRadiusRatioTendsto.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonPairs.split_radius_ratio_tendsto line 16
2. lemma OAI.CannonPairs.eventually_near_class_threshold line 30
3. lemma OAI.CannonPairs.radius_inverse_pow line 46
4. theorem OAI.CannonPairs.pair_cost_exponential_bound line 52