OAI/Probability/ContinuumTransition/PackingPressure.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ContinuumTemperature.packing_ratio_affine_tendsto line 10
2. theorem OAI.ContinuumTemperature.core_pressure_packing_lower line 20
3. lemma OAI.ContinuumTemperature.core_pressure_one_lower line 48
4. lemma OAI.ContinuumTemperature.core_pressure_tetra_lower line 61