OAI/Probability/ContinuumTransition/CellEnergy.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ContinuumTemperature.pairSum line 15
  2. theorem OAI.ContinuumTemperature.two_mul_pairSum line 18
  3. theorem OAI.ContinuumTemperature.sum_adjacency_indicator line 34
  4. theorem OAI.ContinuumTemperature.core_one_cell_bound line 44
  5. theorem OAI.ContinuumTemperature.row_sum_quadratic_bound line 78
  6. theorem OAI.ContinuumTemperature.superstable_algebra line 106
  7. theorem OAI.ContinuumTemperature.sum_subtype_le_of_nonneg line 116
  8. theorem OAI.ContinuumTemperature.core_partition_bound line 123