OAI/Probability/ContinuumTransition/PhysicalPressure.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.ContinuumTemperature.log_grand_weight_div line 10
  2. theorem OAI.ContinuumTemperature.grand_weight_high_density line 21
  3. theorem OAI.ContinuumTemperature.grandPartition_pressure_tendsto line 42
  4. def OAI.ContinuumTemperature.physicalPressure line 75
  5. def OAI.ContinuumTemperature.physicalCanonical line 78
  6. theorem OAI.ContinuumTemperature.physicalPressure_tendsto line 81