OAI/Probability/InvariantIsing/Magnetic/RestrictedCanonicalTreeLogLaw.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.restricted_canonical_tree_log_law line 14