OAI/Probability/ContinuumTransition/ConstructionStage.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ContinuumTemperature.geometricBudget line 11
  2. def OAI.ContinuumTemperature.groupRadius line 12
  3. def OAI.ContinuumTemperature.locationRadius line 13
  4. lemma OAI.ContinuumTemperature.geometricBudget_pos line 15
  5. lemma OAI.ContinuumTemperature.geometricBudget_succ line 16
  6. lemma OAI.ContinuumTemperature.groupRadius_le line 20
  7. lemma OAI.ContinuumTemperature.groupRadius_succ line 23
  8. lemma OAI.ContinuumTemperature.locationRadius_lt line 27
  9. lemma OAI.ContinuumTemperature.locationRadius_succ line 30
  10. structure OAI.ContinuumTemperature.ConstructionStage line 34
  11. def OAI.ContinuumTemperature.ConstructionStage.pressure line 48
  12. def OAI.ContinuumTemperature.ConstructionStage.ideal line 51
  13. lemma OAI.ContinuumTemperature.ConstructionStage.mass_total line 54
  14. lemma OAI.ContinuumTemperature.ConstructionStage.base_mass line 58
  15. lemma OAI.ContinuumTemperature.ConstructionStage.a_le line 62
  16. lemma OAI.ContinuumTemperature.ConstructionStage.x_near line 67
  17. lemma OAI.ContinuumTemperature.ConstructionStage.near_moderate line 70
  18. lemma OAI.ContinuumTemperature.ConstructionStage.convex line 77