OAI/Probability/InvariantIsing/Pressure/RandomUniformIntegrability.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The uniform-integrability conclusion of Proposition gen:random.

  1. lemma OAI.InvariantIsing.uniformIntegrable_of_abs_le line 12
  2. lemma OAI.InvariantIsing.pressure_L1_of_probability_and_uniformIntegrability line 23