OAI/Probability/SKGap/Stability/
521 declarations, 0 contain sorry, 0 declared as axioms; 59 files
Files
- ClosedOrdinaryBridge.lean 3 declarations
- ConditionalMean.lean 21 declarations
- ConditionalMeanScalar.lean 2 declarations
- ConditionalStability.lean 1 declarations
- DiagonalStability.lean 5 declarations
- FieldIntegralMeasure.lean 5 declarations
- FieldIntegralReduction.lean 17 declarations
- FieldLogDet.lean 5 declarations
- FieldSquareSum.lean 6 declarations
- FieldTonelli.lean 2 declarations
- FixedTimeAnnealed.lean 11 declarations
- GaugeStabilityLaw.lean 17 declarations
- GaugedField.lean 15 declarations
- HalfDiffField.lean 19 declarations
- ImplicitCoefficient.lean 16 declarations
- ImplicitComparison.lean 4 declarations
- ImplicitFlip.lean 18 declarations
- ImplicitFrobenius.lean 8 declarations
- ImplicitLinear.lean 24 declarations
- ImplicitNode.lean 10 declarations
- ImplicitPerturb.lean 9 declarations
- ImplicitTraceControl.lean 4 declarations
- ImplicitUniform.lean 6 declarations
- ImplicitUniformControl.lean 8 declarations
- LawMean.lean 29 declarations
- LiteralStableControl.lean 6 declarations
- LiteralStableEvent.lean 5 declarations
- LocalImplicitNode.lean 4 declarations
- LocalStartedImplicit.lean 2 declarations
- LogDetMean.lean 4 declarations
- LogDetUniformMean.lean 1 declarations
- Ordinary.lean 16 declarations
- OrdinaryClosure.lean 23 declarations
- OrdinaryCutLeft.lean 3 declarations
- OrdinaryGraph.lean 18 declarations
- OrdinaryRecipe.lean 20 declarations
- OrdinaryWordEvent.lean 7 declarations
- PlantedFieldArray.lean 20 declarations
- PlantedFieldCenter.lean 5 declarations
- PositiveRootStability.lean 1 declarations
- QuenchedStableFields.lean 3 declarations
- ResidualRoot.lean 6 declarations
- RootDiagonalTransfer.lean 7 declarations
- RootFieldTransfer.lean 3 declarations
- RootGrid.lean 5 declarations
- SmallRootStability.lean 1 declarations
- StabilityMatrix.lean 5 declarations
- StableFields.lean 47 declarations
- StableLiteralComparison.lean 2 declarations
- StableLiteralWeak.lean 4 declarations
- StableRootInverse.lean 2 declarations
- TapFieldE.lean 14 declarations
- UniformOrdinary.lean 2 declarations
- WordDiagStable.lean 1 declarations
- WordMeanSeminorm.lean 5 declarations
- WordOrdinaryAgreement.lean 1 declarations
- WordPredictionStability.lean 9 declarations
- WordStableAgreement.lean 3 declarations
- WordStablePrediction.lean 1 declarations