OAI/Probability/ContinuumTransition/PressureDuality.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.ContinuumTemperature.convex_rightDeriv_support line 10
  2. theorem OAI.ContinuumTemperature.canonicalPressure_nonneg line 26
  3. theorem OAI.ContinuumTemperature.canonicalPressure_le_exp line 37
  4. theorem OAI.ContinuumTemperature.canonical_fenchel_inequality line 51
  5. theorem OAI.ContinuumTemperature.canonical_fenchel_attained line 62
  6. theorem OAI.ContinuumTemperature.canonical_partialConjugate line 82
  7. theorem OAI.ContinuumTemperature.physical_partialConjugate line 112