OAI/Probability/ContinuumTransition/PackingUpper.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ContinuumTemperature.coreProfile_stable_zero line 10
  2. lemma OAI.ContinuumTemperature.core_log_upper line 22
  3. theorem OAI.ContinuumTemperature.core_pressure_upper line 37
  4. lemma OAI.ContinuumTemperature.log_max_one line 55
  5. lemma OAI.ContinuumTemperature.volume_shellBall line 61
  6. def OAI.ContinuumTemperature.shellVolumeConstant line 71
  7. lemma OAI.ContinuumTemperature.shellVolumeConstant_pos line 74
  8. lemma OAI.ContinuumTemperature.log_clusterActivity line 79