OAI/Probability/InvariantIsing/Cavity/CavityHaarStrictCascade.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The actual fresh-Haar replica tests match strict interior finite cascades with recalculated covariances. This supplies nondegenerate finite approximants even when the limiting quantile has tied levels.

  1. theorem OAI.InvariantIsing.cavity_haar_strict_cascade_match line 17