OAI/Probability/InvariantIsing/Fields/FieldRadialOverlap.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Radial increase of the actual conditional spin products, expressed in the original Gaussian position units.

  1. lemma OAI.InvariantIsing.fieldScalarOverlaps_radial line 14