OAI/Probability/InvariantIsing/Cavity/CavityPhysicalGibbsHaar.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The coupled physical base Gibbs law has the original Haar spectral law, jointly with the compression data and selected special axes.

  1. theorem OAI.InvariantIsing.cavity_physical_gibbs_original_haar line 14