OAI/Probability/InvariantIsing/Cavity/CavityCanonicalTreeLogLaw.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Restoring the common random cascade in the canonical capped logarithmic identity, while retaining the original Gaussian disorder.

  1. theorem OAI.InvariantIsing.cavity_canonical_tree_log_law line 14