OAI/Probability/InvariantIsing/Gaussian/GaussianClippedWeak.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Weak convergence in probability of the actual Gaussian empirical law after clipping.

  1. theorem OAI.InvariantIsing.gaussianPattern_clipped_weak line 11