OAI/Probability/ContinuumTransition/FreeIdeal.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ContinuumTemperature.threeCore line 11
  2. def OAI.ContinuumTemperature.threeMeanField line 12
  3. def OAI.ContinuumTemperature.firstMass line 14
  4. def OAI.ContinuumTemperature.initialPoint line 15
  5. lemma OAI.ContinuumTemperature.threeCore_convex line 17
  6. lemma OAI.ContinuumTemperature.three_meanField line 33
  7. lemma OAI.ContinuumTemperature.support_first_zero line 71
  8. lemma OAI.ContinuumTemperature.firstMass_pos line 79
  9. lemma OAI.ContinuumTemperature.firstMass_mul line 80
  10. lemma OAI.ContinuumTemperature.threeMeanField_initial line 84
  11. lemma OAI.ContinuumTemperature.three_active_initial line 91