OAI/Probability/InvariantIsing/Fields/SpinPriorReplicaMixture.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Exact quenched cascade mixture for an arbitrary constrained spin prior.

  1. theorem OAI.InvariantIsing.spinPriorReplicaAverage_cascade_mixture line 13