OAI/Probability/ContinuumTransition/Stability.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.ContinuumTemperature.sum_comp_eq_sum_fibres line 15
  2. theorem OAI.ContinuumTemperature.pairSum_le_cell_quadratic line 30
  3. theorem OAI.ContinuumTemperature.physicalProfile_pairSum_lower line 64
  4. theorem OAI.ContinuumTemperature.ereal_coe_sum line 99
  5. theorem OAI.ContinuumTemperature.coe_pairSum_le_energy line 106
  6. theorem OAI.ContinuumTemperature.physicalProfile_stable line 119
  7. theorem OAI.ContinuumTemperature.admissible_physicalProfile line 128
  8. theorem OAI.ContinuumTemperature.physicalProfile_superstable line 141