OAI/MathematicalPhysics/CriticalSK/
1743 declarations, 0 contain sorry, 0 declared as axioms; 43 files
Files
- BlockEnergy.lean 30 declarations
- Cavity.lean 68 declarations
- Covariance.lean 22 declarations
- CubeOverlap.lean 73 declarations
- CubeRestriction.lean 27 declarations
- DisorderTransfer.lean 38 declarations
- EdgeAsymptotics.lean 59 declarations
- EntropyBounds.lean 16 declarations
- Equilibrium.lean 7 declarations
- FunctionalMeasurability.lean 8 declarations
- GOESpectrum.lean 50 declarations
- GapMixing.lean 37 declarations
- GaussianConcentration.lean 170 declarations
- GaussianMatrices.lean 106 declarations
- GaussianMoments.lean 31 declarations
- Gibbs.lean 57 declarations
- HeatBath.lean 60 declarations
- HighTemperature.lean 25 declarations
- LowerExponents.lean 2 declarations
- Main.lean 34 imports, no declarations
- MinMax.lean 12 declarations
- Mixing.lean 18 declarations
- MixingMeasurability.lean 12 declarations
- OrientationBounds.lean 30 declarations
- OrientationLimits.lean 27 declarations
- OverlapMoments.lean 20 declarations
- PartitionBounds.lean 58 declarations
- PathEnergy.lean 20 declarations
- PathSpectra.lean 93 declarations
- Powers.lean 12 declarations
- Rayleigh.lean 62 declarations
- RelaxationBounds.lean 10 declarations
- Resolvent.lean 35 declarations
- Saddle.lean 11 declarations
- SaddleLimit.lean 29 declarations
- SmallBall.lean 12 declarations
- SphereGeometry.lean 156 declarations
- SphereSaddle.lean 125 declarations
- SpinModel.lean 35 declarations
- ThresholdContraction.lean 2 declarations
- ThresholdMixing.lean 9 declarations
- TriNoise.lean 63 declarations
- VariationalDefinitions.lean 6 declarations