OAI/Probability/InvariantIsing/Spectral/SpectralCanonicalWard.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Both limiting Ward identities act on the canonical group quantiles, independently of the synchronized factors chosen for a pair of groups.

  1. theorem OAI.InvariantIsing.spectralCanonicalWard_pair line 16