OAI/Probability/InvariantIsing/Arrays/TensorTerminalReplicaTransport.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Actual terminal Gibbs replicas transported to the retained marked cascade.

  1. lemma OAI.InvariantIsing.measurable_tensorTerminalLeafLaw line 12
  2. instance OAI.InvariantIsing.tensorTerminalLeafLaw_probability line 28
  3. theorem OAI.InvariantIsing.tensor_terminal_replica_transport line 35