OAI/Probability/ContinuumTransition/LowerLimit.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ContinuumTemperature.cluster_ball_volume line 10
2. lemma OAI.ContinuumTemperature.cluster_ball_constant_pos line 22
3. lemma OAI.ContinuumTemperature.tetra_log_scaled_tendsto line 26
4. lemma OAI.ContinuumTemperature.core_one_lower_eventually line 50
5. lemma OAI.ContinuumTemperature.core_tetra_lower_eventually line 61
6. lemma OAI.ContinuumTemperature.packing_dilate_tendsto line 72
7. lemma OAI.ContinuumTemperature.exists_packing_dilate_lt line 79