OAI/Probability/ContinuumTransition/LaplacePrinciple.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.ContinuumTemperature.density_compact_eventually line 11
  2. theorem OAI.ContinuumTemperature.canonicalDensity_lower_entropy line 25
  3. theorem OAI.ContinuumTemperature.entropy_dual_bound line 41
  4. def OAI.ContinuumTemperature.canonicalPressure line 50
  5. theorem OAI.ContinuumTemperature.canonicalPressure_bddAbove line 53
  6. theorem OAI.ContinuumTemperature.laplace_low_sector line 65
  7. theorem OAI.ContinuumTemperature.laplace_upper_eventually line 89
  8. theorem OAI.ContinuumTemperature.laplace_principle line 127