OAI/Probability/InvariantIsing/Spectral/CompactPartitionContinuity.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The finite positive-mass partition values converge to the compact spectral value.

  1. lemma OAI.InvariantIsing.compact_partition_laws_tendsto line 14
  2. lemma OAI.InvariantIsing.compact_partition_edges_tendsto line 26
  3. lemma OAI.InvariantIsing.compact_partition_variational_tendsto line 37