OAI/Probability/InvariantIsing/Fields/FieldSimpleApproximation.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Canonical finite field approximations in first absolute moment.

  1. def OAI.InvariantIsing.fieldSimpleApproximation line 11

    Also declared: ComparatorChallenges/InvariantIsing.lean:190 (same declaration text).

  2. lemma OAI.InvariantIsing.fieldSimpleApproximation_tendsto line 14
  3. lemma OAI.InvariantIsing.simpleFieldValue_cauchy line 20