OAI/Probability/ContinuumTransition/ConvexSupport.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ContinuumTemperature.pDot line 13
  2. def OAI.ContinuumTemperature.SupportOn line 15
  3. def OAI.ContinuumTemperature.subgradients line 18
  4. lemma OAI.ContinuumTemperature.supports_iff_supportOn line 21
  5. lemma OAI.ContinuumTemperature.linear_parameter_eq line 26
  6. lemma OAI.ContinuumTemperature.linear_epigraph_eq line 32
  7. lemma OAI.ContinuumTemperature.convex_exists_support line 39
  8. lemma OAI.ContinuumTemperature.subgradients_closed line 83
  9. lemma OAI.ContinuumTemperature.subgradients_convex line 92
  10. lemma OAI.ContinuumTemperature.supportOn_limit line 103