OAI/Probability/SphericalField/Gibbs/
134 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- Contact.lean 6 declarations
- Convexity.lean 5 declarations
- Energy.lean 7 declarations
- GaussianField.lean 11 declarations
- GaussianIdentities.lean 7 declarations
- GaussianRows.lean 22 declarations
- LimitLaws.lean 3 declarations
- MixedVariance.lean 4 declarations
- ReplicaCalculus.lean 11 declarations
- ReplicaIdentity.lean 7 declarations
- Replicas.lean 7 declarations
- RootVariance.lean 11 declarations
- Thermal.lean 16 declarations
- Tilting.lean 17 declarations