OAI/Probability/ContinuumTransition/ThermodynamicExtension.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ContinuumTemperature.twoBoxCounts line 14
  2. theorem OAI.ContinuumTemperature.sum_twoBoxCounts line 17
  3. theorem OAI.ContinuumTemperature.tileCount_exact line 36
  4. def OAI.ContinuumTemperature.mixCount line 41
  5. def OAI.ContinuumTemperature.mixSide line 42
  6. def OAI.ContinuumTemperature.mixTotal line 43
  7. theorem OAI.ContinuumTemperature.mixCount_le line 46
  8. theorem OAI.ContinuumTemperature.tendsto_mixCount line 51
  9. theorem OAI.ContinuumTemperature.tendsto_mixSide line 56
  10. theorem OAI.ContinuumTemperature.mixTotal_ratio line 62
  11. theorem OAI.ContinuumTemperature.tendsto_mixTotal line 73
  12. theorem OAI.ContinuumTemperature.mixBox_inequality line 85
  13. theorem OAI.ContinuumTemperature.convexOn_of_box_limits line 107
  14. theorem OAI.ContinuumTemperature.convexOn_canonicalDensity line 135