OAI/Probability/InvariantIsing/Pressure/GeneralSpectralPressure.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The general compact spectral law and no-outlier mean-pressure theorem.

  1. theorem OAI.InvariantIsing.general_spectral_mean_pressure_tendsto line 14