OAI/Probability/RadialTransition/CoreConvergence.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RadialTransition.bareAlpha line 10
2. def OAI.RadialTransition.bareLimit line 11
3. lemma OAI.RadialTransition.bareLimit_eq line 13
4. lemma OAI.RadialTransition.packing_coefficient_approx line 18
5. lemma OAI.RadialTransition.tendsto_core_micro line 31
6. lemma OAI.RadialTransition.corePressure_lower_branch line 34
7. lemma OAI.RadialTransition.corePressure_uniform_bare line 70