OAI/Probability/Perceptron/Pressure/
233 declarations, 0 contain sorry, 0 declared as axioms; 24 files
Files
- CountableTerminalRestoration.lean 11 declarations
- EnrichedConcentration.lean 2 declarations
- EnrichedPatternMean.lean 9 declarations
- EnrichedPatternVariance.lean 6 declarations
- FiniteTerminal.lean 34 declarations
- GaussianHamiltonianCoordinates.lean 3 declarations
- GaussianPressureDerivative.lean 8 declarations
- HeightPartition.lean 9 declarations
- IndexedGibbsPartition.lean 3 declarations
- IndexedTerminalGibbs.lean 7 declarations
- IndexedTerminalProduct.lean 14 declarations
- IndexedTerminalRoots.lean 2 declarations
- KernelEnergyConcentration.lean 2 declarations
- PatternFree.lean 10 declarations
- PatternMatrices.lean 26 declarations
- PressureMonotone.lean 2 declarations
- PressureTransport.lean 5 declarations
- RootPartition.lean 18 declarations
- SphericalPatternDirection.lean 4 declarations
- SphericalPatternRadial.lean 1 declarations
- TerminalRestorationCoefficients.lean 7 declarations
- TerminalRestorationLaw.lean 4 declarations
- TerminalVariational.lean 35 declarations
- VectorPartition.lean 11 declarations