OAI/Probability/InvariantIsing/Arrays/TensorTiltedPairIntegral.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The manuscript's finite two-replica tensor average in the actual infinite replica law.

  1. theorem OAI.InvariantIsing.tensorTiltedPairPathMean_eq_integral line 12