OAI/Probability/SKGap/Terminal/
535 declarations, 0 contain sorry, 0 declared as axioms; 41 files
Files
- ConsDiag.lean 16 declarations
- FieldGibbs.lean 21 declarations
- FinitePairTail.lean 5 declarations
- FiniteSpinCalculus.lean 30 declarations
- GibbsEventProbability.lean 4 declarations
- GibbsEventProbabilityReal.lean 4 declarations
- GibbsExpectation.lean 27 declarations
- GibbsExpectationMono.lean 8 declarations
- GibbsLExpectation.lean 6 declarations
- Map.lean 9 declarations
- PairBoltzmann.lean 20 declarations
- PairConditioning.lean 16 declarations
- PairCrossIdentity.lean 22 declarations
- PairCrossLower.lean 12 declarations
- PairGibbsBound.lean 11 declarations
- PairInteraction.lean 11 declarations
- PairRationalBounds.lean 13 declarations
- PairSpinFrequency.lean 10 declarations
- PairingPairingAddError.lean 4 declarations
- PowExponentialPair.lean 4 declarations
- ResidualPairMoments.lean 13 declarations
- SingleSpinPlantedLaw.lean 14 declarations
- SmallFieldCount.lean 13 declarations
- Spin.lean 66 declarations
- SpinChebyshev.lean 26 declarations
- SpinCovarianceMeasure.lean 18 declarations
- SpinDifferenceEnergy.lean 9 declarations
- SpinDifferenceEnergyReplace.lean 6 declarations
- SpinEnergy.lean 8 declarations
- SpinGaussianBound.lean 4 declarations
- SpinLocalField.lean 24 declarations
- SpinSpectralMassBelow.lean 6 declarations
- StableLiteralTerminal.lean 3 declarations
- TerminalChannel.lean 6 declarations
- TerminalDeterministic.lean 5 declarations
- TerminalHighProbability.lean 5 declarations
- TerminalIdentity.lean 2 declarations
- TerminalMatrixMeasurable.lean 11 declarations
- TerminalMatrixTransfer.lean 21 declarations
- TerminalProbability.lean 7 declarations
- TerminalRates.lean 15 declarations