OAI/Probability/ContinuumTransition/PressureGeometry.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.ContinuumTemperature.Parameter line 16
  2. def OAI.ContinuumTemperature.pressureDomain line 18
  3. def OAI.ContinuumTemperature.Supports line 20
  4. def OAI.ContinuumTemperature.IsPartialConjugate line 23
  5. def OAI.ContinuumTemperature.quadraticObjective line 27
  6. theorem OAI.ContinuumTemperature.strict_face_support line 30
  7. theorem OAI.ContinuumTemperature.weighted_maximizer_densities line 39
  8. theorem OAI.ContinuumTemperature.quadratic_maximizer_mem_group line 81
  9. theorem OAI.ContinuumTemperature.fenchel_eq_of_support line 124
  10. theorem OAI.ContinuumTemperature.supergradient_of_support line 137
  11. theorem OAI.ContinuumTemperature.concave_one_sided_support line 149
  12. theorem OAI.ContinuumTemperature.canonical_jump_of_two_supports line 180
  13. def OAI.ContinuumTemperature.SlopeBall line 219
  14. theorem OAI.ContinuumTemperature.canonical_interval_of_support_ball line 222