OAI/Probability/InvariantIsing/Cavity/CavitySelectedDimensions.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The finite-alphabet mean limit along arbitrary diverging dimensions.
- theorem
OAI.InvariantIsing.cavity_selected_dimensions_pressure_tendstoline 16